Martin Köhler studied computer science at the TU Kaiserslautern from 2010 to 2016. In his bachelor studies, he had a focus on embedded systems and robotics. He changed his specialization to algorithmics for his master studies. His thesis was titled "Recognizability of Rational Sets" and "CEGAR for Regular Inclusion".
During his bachelor studies, he worked as an assistant for system administration at the Robotics Research Lab. Since 2013, he worked as a tutor for the courses Logics (three times) and Algorithms and Data-Structures (once). He received the best teaching award in 2013 and 2014.
After his masters degree, he got back to embedded systems and robotics. As a member of the PhD program at the department of computer science, he aims to unite his knowledge on robotics and theoretical computer science. His research interests are the verification of hybrid systems and behavior-based architectures.