Biography
My research focus is on computer programs that support rational thinking. I work on logic-based Artificial Intelligence (AI) where conclusions drawn by an AI system can be explained and understood. Knowledge is clearly specified (as facts and if-then rules) and only rational conclusions are drawn by the system. Such knowledge-based AI systems can also be given a number of choices and made to find out which choices lead to conclusions that satisfy some given criteria. This allows to plan, configure, and simulate exact solutions in a wide range of engineering problems, e.g., in knowledge-based configuration and Industry 4.0 scenarios, factory reconfiguration, and cyber-physical systems.
My specific research area is in Answer Set Programming (ASP), ASP Solvers and Tools, and Lazy Grounding. These fields have a strong connection to Logic and are part of Knowledge-Representation, Automated Reasoning, and Artificial Intelligence.
My PhD thesis is about inconsistency handling within Multi-Context Systems, which I started to work on in 2009 at TU Wien. From 2012 until 2015 I worked as university assistant with a focus on teaching computer science courses. In 2015 I began working as a PostDoc at the Institute of Information Systems at TU Wien in a project about ASP programs with external source access. My ongoing work on the lazy-grounding ASP solver Alpha started there. From 2017 on I worked for a full year as postdoctoral researcher in the Department of Computer Science at Aalto University in Finland. Since September 2018 I am working in the Knowledge-based Systems group at the Institute of Logic and Computation at TU Wien again, where we employ our lazy-grounding ASP solving techniques in the setting of cyber-physical systems (CPS).
Interests
- Artificial Intelligence
- Lazy Grounding
- Answer Set Programming
- Knowledge Representation
- Logic
- Automated Reasoning
- Multi-Context Systems
Education
-
PhD in Computer Science (Dr.techn.), 2014
Technische Universität Wien (Vienna University of Technology, Austria)
-
Diploma in Computer Science (Dipl.-Inf.), 2009
Ludwig-Maximilians-Universität München (LMU Munich, Germany)