Thorsten Ropertz
Professor
Department of robotics
State Research Center for Optics and Material Sciences
United States of America
Biography
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.
Research Interest
His research interests are the formal analysis and verification of behavior-based robot control systems
