Home

I am a doctoral researcher at the Knowledge-Based Systems Group headed by Professor Gerhard Lakemeyer, PhD. The Knowledge-Based Systems Group is part of the Department of Computer Science at RWTH Aachen University.

I work in the ConTrAkt project funded by the German Research Foundation (DFG). I am affiliated with the Research Training Group UnRAVeL.

My research interests include task planning, plan execution, and execution monitoring on mobile robots. I am also interested in program synthesis, in particular MTL synthesis, and its applications to robotics problems. I am a core developer of TACoS, a tool to synthesize programs against MTL specifications.

I am a contributor to the Fawkes Robot Software Framework and I was team leader of the Carologistics RoboCup team, which participates in the RoboCup Logistics League.

I also contribute to Fedora, an open-source operating system based on GNU/Linux. For Fedora, I maintain a bunch of robotics-related packages and other tools that I find useful. Here is a list of packages that I maintain. I am also working on packaging ROS for Fedora, which is currently maintained in the ROS COPR.