Martin Lange

Angestellt, Professor, University of Kassel

Kassel, Deutschland

Fähigkeiten und Kenntnisse

formale Methoden
Systemverifikation
Modellierung
mathematische Logik
Programmierkenntnisse
Teamleitung

Werdegang

Berufserfahrung von Martin Lange

  • Bis heute 10 Jahre und 7 Monate, seit Nov. 2013

    Professor

    University of Kassel

    Leiter des Fachgebiets "Theoretische Informatik / Formale Methoden"

  • 3 Jahre und 7 Monate, Apr. 2010 - Okt. 2013

    Juniorprofessor

    University of Kassel

    Leiter des Fachgebiets "Formale Methoden und Software-Verifikation"

  • 2 Jahre und 7 Monate, Sep. 2007 - März 2010

    Akademischer (Ober-)Rat

    LMU München

  • 1 Jahr, Sep. 2006 - Aug. 2007

    Associate Research Professor

    University of Aarhus (DK)

  • 4 Jahre und 4 Monate, Mai 2002 - Aug. 2006

    Wissenschaftlicher Assistent

    LMU München

Ausbildung von Martin Lange

  • 4 Jahre und 1 Monat, Juli 2003 - Juli 2007

    Informatik

    LMU München

  • 2 Jahre und 7 Monate, Okt. 1999 - Apr. 2002

    computer science

    University of Edinburgh (UK)

  • 5 Jahre, Okt. 1994 - Sep. 1999

    Informatik

    RWTH Aachen

Sprachen

  • Englisch

    Fließend

  • Deutsch

    Muttersprache

  • Französisch

    Grundlagen

  • Dänisch

    Grundlagen

21 Mio. XING Mitglieder, von A bis Z