Ich habe von 2008 bis 2014 an der Universität Rostock Informatik studiert. Meine Vertiefungsrichtung im Master war "Modelle und Algorithmen".
Seit Januar 2014 bin ich wissenschaftlicher Mitarbeiter des Instituts für Künstliche Intelligenz und Mitglied im Graduiertenkolleg des Sonderforschungsbereich Transregio 62.
Im Kontext des Teilprojekts A1 des Sonderforschungsbereich Transregio 62 beschäftige ich mich mit der gemischt-initiativen Plangenerierung und Planerklärung. Daneben arbeite ich auch an der Entwicklung neuartiger Heuristiken und Planungstechniken.
Eine Liste meiner Publikationen befindet sich am Ende dieser Seite und auf dblp und Google Scholar. Meine Erdős-Zahl ist 4 (David Aha, Simon Kasif, Noga Alon, Paul Erdős).
Außerdem betreue ich seit Januar 2015 die ACM-ICPC Teams der Universität Ulm und trainiere sie für die Teilnahme an Programmierwettbewerben.
Planungssysteme bieten eine flexible und vielseitig einsetzbare Möglichkeit, um Nutzer bei komplexen Aufgabenstellungen (z.B. der Bedienung komplexer Geräte) kompetent zu unterstützen.
Die meisten aktuellen Planungssysteme sind jedoch Black-Box-Systeme.
Ihre Nutzer haben keinerlei Einfluss auf ihre inneren Abläufe und erhalten keine bzw. nur sehr wenig Informationen über den Prozess, der zu einem ausgegebenen Plan geführt hat.
Im Rahmen meines Promotionsvorhabens beschäftige ich mich hauptsächlich mit dem Themengebiet des gemischt-initiativen Planens.
Hier soll durch die direkte Einbindung des Nutzers in den Planungsprozess ein hohes Maß an Anpassbarkeit und Invidualisierbarkeit ermöglicht werden.
So werden aus Black-Box-Planern White-Box-Planer, die für den Einsatz im Umgang mit menschlichen Nutzern bestens geeignet sind.
Um diese Integration zu ermöglichen, müssen eine Reihe von Fragen beantwortet werden, denen ich mich in meinem Promotionsvorhaben widme.
Insbesondere die letzte Fragestellung ergibt interessante Forschungsfragen sowohl theoretischer als auch praktischer Natur.
Neben meinen Arbeiten zum gemischt-initiativen Planen beschäftige ich mich auch mit den theoretischen Grundlagen des Hierarchischen Planens und der Entwicklung neuer Heuristiken und Planungstechniken für das Hierarchische Planen.
Ich war Mitglied des Programm-Komittees der folgenden internationalen Workshops:
Ich war Gutachter für die folgenden nationalen und internationalen Konferenzen:
Außerdem war ich Gutachter für folgende wissenschaftliche Zeitschriften:
Ich bin regelmäßig an den Lehrveranstaltungen des Instituts beteiligt. In den vergangenen Jahren waren dies insbesondere:
Außerdem bin ich in der Vorlesung "Einführung in die Künstliche Intelligenz" regelmäßig für die Betreuung der Programmieraufgaben und des DOMjudge-Servers zuständig.
Seit Januar 2015 bin ich der Trainer der ACM ICPC Gruppe der Universität Ulm. Hier trainieren die Studenten für die Teilnahme am International Collegiate Programming Contest (ICPC) der ACM. Seit 2015 nehmen wir regelmäßig an den nationalen und internationalen Runden des Wettbewerbs teil.
Ich arbeite aktuell im Teilprojekt A1 "Adaptive Planung und Entscheidungsfindung" des Sonderforschungsbereichs/Transregio 62 "Eine Companion-Technologie für kognitive
technische Systeme".
Außerdem bin ich Teil des Transferprojekts "Do it yourself, but not alone" des SFB/TRR 62. Dabei handelt es sich um ein gemeinsames Projekt der Institute für Künstliche Intelligenz und Nachrichtentechnik mit der Robert Bosch GmbH.
Ich habe bisher folgende Abschlussarbeiten betreut:
Ich bin im Moment der Hauptentwickler des Hybriden Planungssystens PANDA3.
2019 | |
45. 
|
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects
AI Communications,
32(1):31-57
2019
DOI: 10.3233/AIC-180604
|
|
44.
|
9th International Workshop on Spoken Dialogue Systems
In Rafael Banchs and Luis Fernando D'Haro and Haizhou Li, Editor,
aus Lecture Notes in Electrical Engineering
Kapitel A Multimodal Dialogue Framework for Cloud-Based Companion Systems,
Herausgeber: Springer,
2019
|
|
43.
|
Proceedings of the 2nd ICAPS Workshop on Hierarchical Planning
2019
|
|
42.
|
Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-based HTN Planning
Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019)
Herausgeber: AAAI Press,
2019
|
|
41.
|
More Succinct Grounding of HTN Planning Problems -- Preliminary Results
Proceedings of the Second ICAPS Workshop on Hierarchical Planning
, Seite 40--48.
2019
|
|
40.
|
HDDL -- A Language to Describe Hierarchical Planning Problems
Proceedings of the Second ICAPS Workshop on Hierarchical Planning
, Seite 6--14.
2019
|
|
39.
|
Hierarchical Planning in the IPC
Proceedings of the Workshop on the International Planning Competition
2019
|
|
38.
|
Finding Optimal Solutions in HTN Planning - A SAT-based Approach
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019)
2019
|
|
37.
|
On Guiding Search in HTN Planning with Classical Planning Heuristics
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019)
Herausgeber: IJCAI,
2019
|
2018 | |
|
36.
|
X and more Parallelism: Integrating LTL-Next into SAT-based Planning with Trajectory Constraints While Allowing for Even More Parallelism
Inteligencia Artificial,
21(62):75--90
2018
|
