Hochschule Karlsruhe Hochschule Karlsruhe - University of Applied Sciences
Navigation öffnen Navigation schließen
Hochschule Karlsruhe Hochschule Karlsruhe - University of Applied Sciences

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.

Kontakt

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
Tel.: +49 721 925-1570

Sprechzeiten :
nach Vereinbarung

Raum E-211


Institut für Angewandte Forschung