Lebenslauf

  • heute 2015

    Professor für Informatik insb. Software Engineering

    OTH Regensburg, Fakultät für Informatik und Mathematik

  • heute 2013

    Geschäftsführer

    Nubifactum GmbH, Gründer und Gesellschafter MathComm.net

  • 2013 2012

    Stipendiat

    BMWi, Exist-Gründerstipendium

  • 2011 2010

    Projektleiter und technischer Projektleiter

    IVU Traffic Technologies AG

  • 2009 2005

    Wissenschaftlicher Mitarbeiter

    RWTH Aachen, Lehrstuhl Software Modeling and Verification

Hochschule

  • heute 2019

    Prüfungskommissionsvorsitzender der Studiengänge IN, IW, IT

    OTH Regensburg, Fakultät für Informatik und Mathematik

  • heute 2017

    Mitglied des Fakultätsrates

    OTH Regensburg, Fakultät für Informatik und Mathematik

  • heute 2016

    Mitglied der Prüfungskommission

    OTH Regensburg, Fakultät für Informatik und Mathematik

Hochschulausbildung

  • Dr. rer. nat. 2009

    Promotion, Thema: Learning Communicating and Nondeterministic Automata (Lernen und Verifikation verteilter Systeme)

    Informatik, RWTH Aachen

  • Dipl.-Inform. 2005

    Diplom, Thema: MSCan - Ein Tool zur Analyse von Message Sequence Charts (Statische Analyse und Model Checking verteilter Systeme)

    Informatik, RWTH Aachen

Auslandsaufenthalte

  • Frankreich 2009, Apr.-Mai

    Forschungsaufenthalt (Cachan, Paris)

    LSV, Ecole normale superieure de Cachan

  • Tschechien 2008, Okt.

    Forschungsaufenthalt (Brno)

    Masaryk University Brno

  • Frankreich 2008, Juli-Aug.

    Forschungsaufenthalt (Cachan, Paris)

    LSV, Ecole normale superieure de Cachan

  • Spanien 2002-2003

    Erasmusaufenthalt (Madrid)

    Facultad de Informatica, Universidad Complutense de Madrid

Verschiedenes

  • 2012-2013
    Exist-Gründerstipendium
    image
    Exist-Gründerstipendium des Bundesministeriums für Wirtschaft und Technologie (BMWi) für das Projekt MathComm - eine Lernplattform zur Unterstützung von Studierenden der technischen und naturwissenschaftlichen Studiengänge in Fächern mit Schwerpunkt Mathematik.
  • 2010
    Borchers-Plakette
    image
    Verleihung der Borchers-Plakette der RWTH Aachen für die Promotion mit Auszeichnung.
  • 2009
    Promotion mit Auszeichnung
    image
    Promotion mit Auszeichnung (Note: summa cum laude), Titel Learning Communicating and Nondeterministic Automata.
  • 2009
    IJCAI Student Grant
    image
    Student Grant der International Joint Conference on Artificial Intelligence (IJCAI 2009) im Rahmen des Student Volunteer Program.
  • 2008
    Best Presentation Award
    image
    Best presentation award für den Vortrag SMA - The Smyle Modeling Approach auf der CEE-SET 2008 in Brno, Tschechische Republik.
  • 2003
    Vordiplom Mathematik
    image
    Erhalt des Vordiploms Mathematik der RWTH Aachen neben dem Vordiplom in Informatik.
  • 2002-2003
    Erasmus-Stipendium
    image
    Erasmus-Stipendium für das Studienjahr 2002-2003 an der Facultad de Informatica der Universidad Complutense de Madrid.