Since 2010, I'm working for Informatik Consulting Systems AG. I can be contacted via martin.sulzmann@gmail.com.

In my previous academic life, I was an Associate Professor in the Programming, Logic and Semantics Group at the IT University of Copenhagen, a Assistant Professor at the National University of Singapore and a Lecturer 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 .

---

  For papers etc see here.