Martin Sulzmann

So, I switched jobs again. You can find me now here

My earlier work places:
Starting January 2010, I'll be working as a systems engineer Informatik Consulting Systems AG. I can be contacted via In 2009, I was working as a software consultant/developer at Intaris Software Gmbh.

In my previous academic life, I was an Associate Professor in the Programming, Logic and Semantics Group at the IT University of Copenhagen, an Assistant Professor in the School of Computing of the National University of Singapore and a Lecturer in the Department of Computer Science and Software Engineering at the University of Melbourne. I obtained my PhD from Yale University in Computer Science. Once upon a time, I was studying Computer Science at the University of Karlsruhe .

Concurrent and parallel programming:

  • Types (inference, checking, improvement,type-directed translation etc):

    Regular expression types:

    Martin Sulzmann
    Last modified: Mon Feb 11 22:04:30 SGT 2008