Esparza Javier

Javier Esparza is a Professor at the Technische Universität München, holding the Chair of Foundations of Software Reliability and Theoretical Computer Science since 2007. Prior to this, he held chairs at the University of Stuttgart (2003-2007) and the University of Edinburgh (2001-2003), along with academic positions dating back to 1990.

• Education: M.S. in Theoretical Physics (1987, University of Zaragoza), Ph.D. in Computer Science (1990, University of Zaragoza), and Habilitation in Computer Science (1994, University of Hildesheim).

His research focuses on formal verification, distributed systems, and software reliability, particularly through algorithms for software model checking, logic and automata theory, and analysis of probabilistic systems. His work has been supported by numerous grants from the German Research Council (DFG), British Engineering and Physical Sciences Research Council (EPSRC), and the Humboldt Foundation.

• Scientific Awards: Doctor honoris causa from Masaryk University (2009), TeachInf Awards for best Bachelor and Master courses (2009, 2010), TU München Diploma for excellent teaching (2011), Member of Academia Europaea (2011), and Dissertation Prize from the University of Zaragoza (1990).

Esparza has supervised over 15 PhD students, including Dr. Stefan Schwoon, Dr. Claus Schröter, and Dr. Michael Luttenberger, and collaborated on research projects with institutions across Europe and the UK.