Department of robotics
State Research Center for Optics and Material Sciences
United States of America
Thorsten Ropertz was born in 1986 and studied computer science at the University of Kaiserslautern from 2007 till 2012. His Bachelor's thesis was about the execution of synchronous programs using NVIDIA's CUDA. His Master's thesis is about the graphical support for the verification of behavior-based systems.
His research interests are the formal analysis and verification of behavior-based robot control systems