Martin Lange

Universität Kassel

Names

Martin Lange (Preferred)

Emails

****@uni-kassel.de

Education & Career History

Full Professor
Universität Kassel (uni-kassel.de)
2010Present
 
Lecturer
Institute of Computer Science, Ludwig-Maximilians-Universität München (ifi.lmu.de)
20022010
 
Postdoc
Aarhus University (au.dk)
20072008
 

Advisors, Relations & Conflicts

No relations added

Expertise

formal methods, model checking, verification, logic
1999Present