About me


I am a mathematician, a computer scientist, a logician, a proof theorist, a researcher, a software developer, a formal verification engineer, a teacher, an organizer. I came by these roles through a mix of formal education, practical experience, and personality.

I see the trees more easily than the forest, and yet I have gained some forest-seeing habits through experience.

I want things to work, to work well, to work simply, to work beautifully, and when it’s in my power I make it so.

Take a look at my CV, publications, and projects.