Prof. Dr. Martin Sulzmann

Hochschule Karlsruhe - Technik und Wirtschaft
Fakultät für Informatik und Wirtschaftsinformatik
Gebäude: E
Raum: 211
Telefon: +49 721 925-1570
Email: Martin.Sulzmann[at]gmail[dot].com

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.



Current work:
Publications: DBLP
Send me an email if you can't find a paper online.
Teaching/Lehre: internal link
  • Courses at ITU, NUS and UniMelb