Simon Kohaut
Machine Learning Group, Computer Science Department, TU Darmstadt.
Hochschulstrasse 1, Building S1|03, 64289 Darmstadt, Germany.
simon (dot) kohaut (at) cs (dot) tu-darmstadt (dot) de

I am working on enabling autonomous systems to efficiently reason on their environment and actions by combining the powers of probability theory with formal logic. To achieve continual reasoning under real-time constraints, exploiting properties of the agent's perception and knowledge of its domain can help us to overcome the costs of probabilistic inference. Hence, my research focuses on creating reactive systems that are built on a foundation of probabilistic logic and message passing between individual models.

My work is supported by the Honda Research Institute. Together, we are tackling challenges in probabilistic mission design for autonomous agents, e.g., managing Unmanned Aerial Vehicles in Advanced Air Mobility settings.

Student Projects & Theses - Bachelor and Master.
If you are searching for a thesis topic, feel free to reach out to me via email so we can setup a meeting. I usually have research questions in the areas of probabilistic logic, robotics and Neuro-Symbolic systems prepared. Alternatively, if you have a topic in mind we can discuss if it matches with my research interests.

2022 - now: Ph.D. student at the Machine Learning Lab, CS Department, TU Darmstadt, Germany
2020 - 2022: M.Sc. in Autonomous Systems at TU Darmstadt, Germany
2016 - 2020: B.Sc. in Computer Science at TU Darmstadt, Germany