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.sulzmann@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
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.sulzmann@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