معرفی
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.
Corina Mitrohin در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- BBernd WestphalAlbert Ludwig University of Freiburg · پژوهشگر
- EEvren ErmisAlbert Ludwig University of Freiburg · پژوهشگر
- MMarlis JostAlbert Ludwig University of Freiburg · مدرس
- BBerit BrauerAlbert Ludwig University of Freiburg · مدرس
- AAlexander NutzAlbert Ludwig University of Freiburg · پژوهشگر
- AAnna Liolios-ZimmermannAlbert Ludwig University of Freiburg · مدرس