Andreas Müller

Andreas Müller is a Professor at FH Hagenberg, part of the Research Center Hagenberg. His expertise focuses on hybrid systems, formal verification, and component-based modeling. He leads research in automotive/mobility networks and systems safety. Müller has contributed to the development of verification tools like KeYmaera X and pioneered methods for component contract composition in hybrid systems. His work emphasizes practical applications of formal methods in cyber-physical systems.

He is a key researcher in the pDrive project (2023-2026), investigating energy and emission savings in 2-car platoons. Müller's research spans theoretical advancements and real-world system implementation, with a focus on model complexity reduction and automated safety verification. His contributions include benchmarks for hybrid system verification and innovative approaches to handling system component interactions.

• Research Highlights: Hybrid systems verification, component-based modeling, formal methods, safety-critical systems
• Project Leadership: pDrive (Future Mobility Call - Land OÖ)