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.
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 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.