Alexander Raschke

Alexander Raschke is a Professor at the University of Ulm, affiliated with the Institute of Software Engineering and Compiler Construction. His research focuses on formal methods, model-driven engineering, software safety and security, and abstract state machines. He has authored/co-authored over 50 publications, including works on collaborative modeling frameworks, security analysis techniques, and programming by demonstration.

He holds a PhD in Computer Science from the University of Ulm (2009). As an academic, he has organized and chaired conferences such as ABZ (2020, 2021), demonstrating leadership in the formal methods community. His work bridges theoretical foundations with practical applications in software systems, emphasizing safety-critical and self-adaptive systems. Notable contributions include the development of EditQL—a textual query language for evolving models—and frameworks for attack-tree generation in cybersecurity.