WelcomeI am a DPhil (PhD) student in Computer Science. My main area of interest is theoretical computer science, in particular, logic and (interactive) theorem proving.
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.
- Setting up my Website - October 14, 2018