Projects

Obelisk

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

Teaching

I have been a teaching assistant for the following courses: