Anne Elisabeth Haxthausen

Anne Elisabeth Haxthausen is an Associate Professor at the Software Systems Engineering section within DTU Compute, Technical University of Denmark. Her work focuses on formal methods, railway control systems, and safety-critical software engineering.

• Founder and leader of the DTU Railway Verification Group
• Member of European Technical Working Group on Formal Methods in Railway Control
• Editorial board member for Springer Formal Aspects of Computing Journal
• Active in the Overture Language Board

Her research emphasizes formal verification of railway interlocking systems, particularly through compositional approaches and automated tools. She has contributed to projects like RobustRailS, Overture, and RAISE, focusing on model-based development and verification.

She serves as a tutor for bachelor students and contributes to the advisory committee for DTU's Computer Science and Engineering MSc program. Her recent publications explore challenges in verifying autonomous and AI-driven railway technologies.