Martin Lange

Full Professor, Universität Kassel

  • Joined May 2022

Names

Martin Lange (Preferred)

Emails

****@uni-kassel.de (Confirmed)

Personal Links

Education & Career History

Full Professor
Universität 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

No relations added

Expertise

formal methods, model checking, verification, logic
1999 – Present