I’m a software developer, interested in programming languages.
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 or domain-specific languages: CV.
Links: blog, lang, prog, github