Javier Esparza

Prof. Javier Esparza is a full Professor in the Department of Computer Science at the Technical University of Munich (TUM), leading the Chair for Foundations of Software Reliability and Theoretical Computer Science since 2007. His academic career includes roles at the University of Stuttgart (2003–2007) and the University of Edinburgh (2001–2003). He holds a Ph.D. in Computer Science from the University of Zaragoza (1990) and completed his habilitation at the University of Hildesheim (1994).

His research focuses on formal methods for software reliability, concurrency theory, program analysis, and model checking. Key interests include Petri nets, automata theory, probabilistic systems, and verification techniques for distributed systems. He has authored influential books such as Free Choice Petri Nets and Unfoldings: A Partial-Order Approach to Model Checking, and developed tools like Rabinizer and Peregrine.

Prof. Esparza has received prestigious awards, including the ERC Advanced Grant (2018) and an honorary doctorate from Masaryk University (2009). His work bridges theoretical foundations and practical applications, contributing to advancements in verification algorithms and distributed computing.