Manuel Bentele

Manuel Bentele is a Researcher at the University of Freiburg's Department of Computer Science. His research focuses on software engineering, incremental development, and program verification, particularly in embedded systems. He is currently working on the Incremental Development and Continuous Checking (IDCC) project. He has been actively involved in teaching various courses since at least 2012, including Software Engineering, Cyber-Physical Systems, and Program Verification. Bentele has contributed to multiple research projects and tools such as HanFor, Gazoo, and Exorcise, and is part of the AVACS and Salomo initiatives. His work emphasizes formal methods and model-based analysis in software systems.