Welcome

I am a computer scientist interested in the intersection of computer aided verification, theoretical computer science, and AI. In particular I am interested in logic, (interactive) theorem proving, and proof/function synthesis. My research also involves applying machine learning and data science techniques to these areas.

I also climb ... a lot.

More information about myself can be found here. I also have links to (most likely) outdated lists of publications, talks, and software. The Archive provides a list of previous posts. I have also picked up photography as a hobby. Results of this endeavour can be found here.

Posts: