Personen
Prof. Dr. rer. nat., Dipl.-Inform. Carsten Kern
![](/fileadmin/_processed_/3/a/csm_kern_65749f6c1c.webp)
Informatik
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)
- Labor Software Engineering in der Fakultät IM
- Labor Software Engineering im Regensburg Center For Artificial Intelligence unter Software Engineering
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