Personen

Prof. Dr. rer. nat., Dipl.-Inform. Carsten Kern

Informatik - Software Engineering, Artificial Intelligence

Lehre

Lehrgebiete

  • Software Engineering,
  • Künstliche Intelligenz und Maschinelles Lernen
  • Künstliche Intelligenz für Spiele
  • Algorithmen und Datenstrukturen

Abschlussarbeiten

  • Mögliche Abschlussarbeitsthemen finden Sie hier

Forschungsinteressen

Forschungsinteressen

Ausgewählte Themen:

  • Software Engineering insb.
    • Modellbasiertes SE
    • Automatisierung
  • Formale Methoden im SE
    • Model Checking
  • Künstliche Intelligenz (insb. Maschinelles Lernen)
    • KI für komplexe Probleme
    • KI für Spiele
  • Algorithmen
    • Lernverfahren

Eine genauere Übersicht finden Sie hier

 

Labor(e)

Forschungseinheit

Mitglied des RCAI

Werdegang

Studium

  • Studium der Informatik mit Anwendungsfach Betriebswirtschaftslehre an der RWTH Aachen
  • Studium der Mathematik bis zum Vordiplom parallel zum Informatikstudium an der RWTH Aachen
  • Auslandsjahr an der Universidad Complutense de Madrid

Promotion

  • Promotion in Informatik an der RWTH Aachen am Lehrstuhl für Modeling and Verification in Kooperation mit der ENS Cachan und der TU München
  • Thema: Learning Communicating and Nondeterministic Automata

Berufliche Erfahrungen

  • Technischer Projektleiter und Gesamtprojektleiter bei der IVU AG
  • Gründer, Gesellschafter und Geschäftsführer der NubiFactum GmbH

Funktionen intern

  • Vorsitzender der Prüfungskommission Allgemeine Informatik
  • Vorsitzender der Prüfungskommission Technische Informatik
  • Vorsitzender der Prüfungskommission Wirtschaftsinformatik
  • Mitglied des Fakultätsrates

Mitgliedschaften extern

  • Mitglied des RACI

Publikationen/Vorträge

s. Webseite