Corina Mitrohin

Corina Mitrohin is a Researcher at the Chair of Software Engineering, University of Freiburg. She completed her PhD between June 2007 and June 2012, focusing on verification techniques for hybrid systems. Her research interests include safety and stability verification of hybrid systems, with involvement in the Transregional Collaborative Research Center AVACS (Subproject H4).

Education: PhD in Computer Science (University of Freiburg, 2012), Master's thesis on requirements engineering for conflict detection (2007), and Bachelor's in coding theory (2000) from Al. I. Cuza University, Iasi.

Teaching: Taught the Seminar Hybrid Systems during Fall 2011/2012. Active in academic projects and publications on formal verification methodologies for complex systems.