Navigation überspringen

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 11 Jahre und 8 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

XING – Das Jobs-Netzwerk

  • Über eine Million Jobs

    Entdecke mit XING genau den Job, der wirklich zu Dir passt.

  • Persönliche Job-Angebote

    Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.

  • 22 Mio. Mitglieder

    Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.

  • Kostenlos profitieren

    Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.

21 Mio. XING Mitglieder, von A bis Z