Top of this page
Skip navigation, go straight to the content

Other Activities

This page lists some things I am involved in addition to the usual research work and teaching related things.

FM-LaTeX

In October, 2007 I started the FM-LaTeX project. The goal of this project is to have a central repository where packages are shared and that is publicly available to anyone in the world, not just faculty employees. It is also is a place where new features or new packages can be developed. This allows for using the supported packages in collaborative work with members of other universities.

See the FM-LaTeX website for more information.

Institute for Programming research and Algorithmics (IPA)

Since December 2007 I am a member of the IPA Ph.D. Council. Amongst other things, this involves keeping in touch with the Ph.D.s within IPA, acting as a voice for them and organising Open Session on IPA days.

Besides the council I maintain maintain and moderate the IPA LinkedIn group and IPA informal discussion group/forum/list.