I am currently a Ph.D. researcher at the Karlsruhe Institute of Technology (KIT) in Germany, affiliated with the “Logic of Autonomous Dynamical Systems” research group. My primary research area centers around formal verification techniques for autonomous systems, with a specific interest in their application to robotics.
Before starting my Ph.D. at KIT, I earned a degree in Industrial Mathematics. During my academic journey, I developed a deep interest in robotics and machine learning. Notably, I was a member of the RoboCup SPL team HULKs e.V., where I focused on key aspects such as localization, sensor fusion, and object detection, all aimed at enhancing game state representation. This experience also allowed me to collaborate effectively within an interdisciplinary team, primarily comprising Computer Science students.
As a Ph.D. researcher at KIT, my current research focuses on advancing formal verification techniques for autonomous systems, particularly in the context of robotics. If you would like to get in touch or explore potential collaborations, please feel free to reach out to me at jonathan[dot]hellwig[at]kit[dot]edu.