Martin Lange (Preferred)
Martin Lange
Full Professor, University of Kassel
Joined
May 2022
Names
Emails
****@uni-kassel.de (Confirmed)
Personal Links
Career & Education History
Full Professor
University of Kassel (uni-kassel.de)
2010 – Present
Lecturer
Institute of Computer Science, Ludwig-Maximilians-Universität München (ifi.lmu.de)
2002 – 2010
Postdoc
Aarhus University (au.dk)
2007 – 2008
Advisors, Relations & Conflicts
Expertise
formal methods
, model checking
, verification
, logic
1999 – Present
Publications
Co-Authors
- Ahmet Kara
- Albert Zündorf
- Alessio Lomuscio
- Anders Søgaard
- Arno Ehle
- Bahareh Badban
- Carsten Lutz
- Christian Dax
- Christoph Eickhoff
- Colin Stirling
- Daniel Kernberger
- David Kronenberger
- Dietrich Kuske
- Eric Alsmann
- Fabio Grandi
- Felix Klaedtke
- Florian Bruse
- Georg Siebert
- Hans Leiß
- Hans-Wolfgang Loidl
- Ilkka Niemelä
- Jan Johannsen
- Jeffrey O. Shallit
- John Hundhausen
- Julian Gutierrez