Thoughts about programming, language, logic and philosophy.
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.