About

I am currently a Software Engineer at Timescale. My other interests include language semantics, formal verification, and operating systems.

CV