Christian Herrera

Christian Herrera is affiliated with the Department of Computer Science at the University of Freiburg. His work focuses on formal methods in software engineering and verification, particularly in model checking, real-time systems, and hybrid automata. He has contributed to research on quasi-equal clock reductions in timed automata networks and quasi-dependent variables in hybrid systems.

Research Interests: Model Checking, Verification of Communication Protocols, Real-Time Systems, Hybrid Automata. He has co-authored multiple publications in conferences such as FORMATS, TACAS, and HSCC.

Teaching: Herrera has taught courses including 'Software Design, Modelling, and Analysis in UML' and 'Theory I'. He also supervised student projects like 'FraTTA: Framework for Transformation of Timed Automata' and 'Extending the Reduction of Quasi-equal Clocks in Networks of Timed Automata'.

Collaborations: Works with researchers like Bernd Westphal, Sergiy Bogomolov, and Andreas Podelski in the Software Modeling and Verification group.