معرفی
Pauline Blohm is a Researcher (PhD Student) at the University of Münster, co-supervised by Prof. Dr. Paula Herber and Prof. Dr. Anne Remke. Her work focuses on formal methods and embedded systems, with expertise in quantitative analysis, model checking, and cyber-physical systems verification.
- Email: pauline.blohm@wwu.de
- Office: Room 218, Einsteinstr. 62, 48149 Münster
She actively contributes to research through publications in top-tier conferences like ISoLA, iFM, and MEMOCODE. Her teaching activities at the university include project seminars and advanced topics in embedded systems, often conducted in collaboration with senior faculty.
Research Interests:
- Formal verification of safety-critical systems
- Stochastic hybrid automata for modeling
- Probabilistic contracts in cyber-physical systems
- Integration of formal methods with machine learning
Conference Participation: Her recent work explores probabilistic contracts for CPS (2025), quantitative Simulink analysis (2025), SystemC verification (2024), and safer SystemC design (2023). These publications span formal methods, embedded systems, and educational technology applications.
Teaching Involvement: She collaborates in courses like Modeling and Analysis of Dynamical Systems, Capstone Projects on Safe Walking Robots, and Quantitative Model Checking, reflecting her technical focus areas.
