Hochschule Karlsruhe Hochschule Karlsruhe - University of Applied Sciences
Open navigation Close navigation
Hochschule Karlsruhe Hochschule Karlsruhe - University of Applied Sciences
two people looking at a piece of paper, with machine in foreground

Staff A-Z

Prof. Dr. Martin Sulzmann

Fakultät für Informatik und Wirtschaftsinformatik
Auslandsbeauftragter Informatik und Medieninformatik Bachelor, Professor für Software Engineering, Programmverifikation und Programmiersprachen

Institut für Angewandte Forschung

Vita

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.

Contact

Prof. Dr. Martin Sulzmann
martin.sulzmannspam prevention@h-ka.de
Private website
https://www.researchgate.net/profile/Martin-Sulzmann


Fakultät für Informatik und Wirtschaftsinformatik
Auslandsbeauftragter Informatik und Medieninformatik Bachelor, Professor für Software Engineering, Programmverifikation und Programmiersprachen
Phone +49 721 925-1570

Office hours :
nach Vereinbarung

Room E-211


Institut für Angewandte Forschung