InterestsType systems and type inference, object-oriented languages, concurrent and distributed languages, semantics of programming languages
- Latex packages: locallabel, mathpartir, excercise, proof, copytofile. ifjobname. boolean. reversion.
- BibTeX: non invasive printing of URLs in references.
- WhizzyTeX --- Version 1.3.2 of Aug 2, 2011 (works with pgf and beamer)
--- Version 1.10.2 of Sep 27, 2011