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, domain-specific languages.
I just defended my thesis (slides), here is my CV.