image

Prof. Dr. rer. nat. Carsten Kern

Dr. Carsten Kern ist Professor für Informatik insbesondere Software Engineering an der OTH Regensburg.

Zu seinen Interessen und Forschungsschwerpunkten gehören modellbasiertes Software Engineering und Testen, Modellierung, Automatisierung im Software Engineering, System-Verifikation, sowie künstliche Intelligenz, maschinelles Lernen und Algorithmen für Spiele.

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

  • heute 2016

    Mitglied in diversen Berufungsausschüssen

    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.
Impressum
Datenschutzerklärung