I am a DPhil (PhD) student in Computer Science. My main area of interest is theoretical computer science. in particular, logic and (interactive) theorem proving, proof/function synthesis and computer aided verification.

I also climb ... a lot.

More information about myself can be found here. I also composed a list 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 in Archive