I am a programming language researcher and a programmer.
My research revolves around the design and implementation of programming languages to make software more reliable, secure, faster, and easier to construct.
Topics of interest
Compiler construction, language design, program analysis, formal verification, type theory, concurrency, meta-programming, probabilistic programming, domain-specific languages.
I just defended my thesis (slides), here is my CV.