Prof. Dr. Martin Sulzmann
Faculty of Computer Science and Business Information Systems
Auslandsbeauftragter Informatik und Medieninformatik Bachelor, Professor für Software Engineering, Programmverifikation und Programmiersprachen
Institute of Applied Research
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.sulzmann@h-ka.de
Private website
https://www.researchgate.net/profile/Martin-Sulzmann
Faculty of Computer Science and Business Information Systems
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
Institute of Applied Research