Berit Brauer

Berit Brauer is a Lecturer at the University of Freiburg's Department of Computer Science. She specializes in Cyber-Physical Systems, Software Engineering, and Formal Methods, with a focus on program verification, automata theory, and real-time systems. Since 2012, she has taught courses including Cyber-Physical Systems, Software Engineering, Automata Theory, and Decision Procedures.

Her teaching spans both undergraduate and graduate levels, with notable contributions to courses like 'Cyber-Physical Systems I - Discrete Models' and 'Program Verification.' She has also been involved in advanced seminars on topics such as hybrid systems and model-based testing.

Brauer collaborates on research tools including Ultimate, SMTInterpol, and Hanfor, contributing to formal methods and software analysis. She has organized student projects and thesis topics in areas like static code analysis and requirements engineering.