I am a programmer, I enjoy writing (meta-)programs.
I’m passionate about using programming languages and formal methods to address programmability, performance, security, reliability and productivity challenges.
I just defended my thesis (slides). I’m looking for jobs related to programming languages: CV.