Projects

Obelisk

A simple experimental tool which produces pretty-printed output (eg. $\LaTeX$) from a Menhir parser file (.mly).

Teaching

I am a teaching assistant for the following courses:

Academic service

Contact