Martin Sulzmann

Martin Sulzmann received a Dipl. Inf. from the University of Karlsruhe in 1996 and a PhD from Yale University in 2000. He was lecturer at the University of Melbourne from 2000-2002, Assistant Professor at the National University of Singapore from 2002-2007, and Associate Professor at the IT University of Copenhagen in 2008. After a 3 1/2 year stint in industry, Martin returned to academia. He is now a Professor at the Hochschule Karlsruhe - Technik und Wirtschaft. Martin's primary research area are programming languages, program analysis and software verification.

Education

• PhD Yale University (1996 — 2000)
• Dipl.-Inform Karlsruhe Institute of Technology (KIT) (1991 — 1996)
• Hochschule Furtwangen University (1990 — 1991)

Companies

• Professor Hochschule Karlsruhe - Technik und Wirtschaft (2012)
• Software Systems Engineer ICS AG (2010 — 2012)
• Software Consultant/Developer Intaris Software Gmbh (2009 — 2009)
• Associate Professor IT University of Copenhagen (2008 — 2008)
• Assistant Professor National University of Singapore (2002 — 2008)
• Lecturer University of Melbourne (2000 — 2002)
• Lecturer Melbourne University Private (2000 — 2001)
• Visiting Researcher University of South Australia (1999 — 1999)

Skills

• Requirements Analysis
• Testing
• Operating Systems

Other

Distributed Systems, Haskell, Concurrent Programming, Programming, Software Development, Compilers, Software Engineering, Algorithms, Computer Science, Programming Languages