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

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

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)

• Labor Software Engineering in der Fakultät IM
• Labor Software Engineering im Regensburg Center For Artificial Intelligence unter Software Engineering

Forschungseinheit

Mitglied des RCAI

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

s. Webseite