Javier Esparza - Curriculum vitae#

• 1990 Research Assistant University of Hildesheim (Germany)
• 1993 Research Fellow University of Edinburgh
• 1994 Associate Professor Technische Universität München
• 2001 Chair of Theoretical University of Edinburgh Computer Science
• 2003 Chair of Software Reliability and Security University of Stuttgart
• 2007 Chair of Foundations of Software Reliability and Theoretical Computer Science, Technische Universität München

• 1987 M.S. in (Theoretical) Physics University of Zaragoza (Spain)
• 1990 Ph. D. in Computer Science University of Zaragoza (Spain)
• 1994 Habilitation in Computer Science University of Hildesheim (Germany)

• 1990 Dissertation prize University of Zaragoza (Spain)
• 2009 Doctor honoris causa Masaryk University (Czech Republic)
• 2009 TeachInf Award of the Student Union for the best Bachelor course, TU München
• 2010 TeachInf Award of the Student Union for the best Master course, TU München
• 2011 Diploma of the Technische Universität München for excellent Teaching, TU München
• 2011 Member of Academia Europaea

• 1.5.11 - Main researcher (with Michael Luttenberger) of the project "Polynomial Systems on Semirings: Foundatins, Algorithms, Applications" funded by the German Research Council.
• 1.1.10 - Main researcher (with Tobias Nipkow and Jan-Georg Smaus) of the project "Computer-supported Verification of Automata Constructions for Model Checking" funded by the German Research Council.
• 1.7.08 - Main researcher of the Graduiertenkolleg "Programm- und Modellanalyse" of the German Research Council.
• 1.11.06 - 31.3.08 Main researcher of the A6 subproject "Formal Methods for Modelling and Analysing Mobile Context-Aware Systems" of the Special Research Area (Sonderforschungsbereich) 627 of the German Research Council "Spatial World Models for Mobile Context-Aware Applications".
• 1.9.04 - 31.12.08 Main researcher (together with S. Schwoon) of the project "Algorithms for Software Model Checking" funded by the German Research Council (DFG).
• 1.9.04 - 31.08.09 Leader of the German side of the Institute Cooperation "Probabilistic Methods in Formal Verification of Infinite-state Systems" with the Faculty of Informatics of the Masaryk University in Brno, Czech Republic, funded by the Humboldt Foundation.
• 1.6.02 - 31.05.05 Main researcher of the project "An Automata-theoretic Approach to Software Model-Checking" funded by the British Engineering and Physical Sciences Research Council.
• 1.10.01 - 30.09.04 Main researcher of the project "Automatic Synthesis of Distributed Systems" funded by the British Engineering and Physical Sciences Research Council.
• 1.10.00 - 31.12.03 Contractor im EU-Projekt "Advanced Validation Techniques for Telecommunication Protocols". Participants: France Télécom, University of Edinburgh, University of Grenoble, University of Liége, University of Paris VII, University of Uppsala, Weizmann Institute of Science.
• 1.9.98 - 31.8.01 Main researcher (with W. Reisig) of the subproject "Distributed algorithms - Specification, Correctness, Synthesis" in the Ph. D. program "Cooperation and resource management in distributed systems" of the Technische Universität München.
• 1.1.98 - 31.12.00 Main researcher (together with W. Brauer) of the German side of the French-German cooperation project "Verification techniques for imperative higher order programming languages" with the INRIA Institute at Sophia Antipolis.
• 1.1.97 - 31.12.98 Main researcher of the German side of the French-German cooperation project "Methods for the Analysis and Verification of systems with infinite state spaces", with the VERIMAG Institute, Grenoble.
• 1.7.95 - 1.7.98 Main researcher of the german side of the British-German cooperation project "Theory and applications of causal fixpoint logics", with the University of Edinburgh.
• 1.4.95 - 31.3.98 Main researcher (together with W. Reisig) of the subproject "Distributed algorithms - Specification, Modelling, Correctness" in the Ph. D. program "Cooperation and resource management in distributed systems" of the Technische Universität München.
• 1.1.95 - 31.12.00 Main researcher (together with W. Brauer) of the A3 subproject "Specification, Analysis and Modelling" of the Special research Area (Sonderforschungsbereich) 342 of the German Research Council "Tools and methods for parallel computer architectures".

• Dr. Richard Mayr. PhD Thesis: "Decidability and Complexity of Model-Checking Problems for Infinite State Systems". Defence: 30.4.1998.
• Dr. Stephan Melzer. PhD Thesis: "Verifikation verteilter Systeme mittels linearer und Constraint Programmierung". Defence: 24.7.1998.
• Dr. Stefan Römer. PhD Thesis: "Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme". Defence: 9.6.2000.
• (with Davide Sangiorgi) Dr. Christine Röckl. PhD Thesis: "On the Mechanized Validation of Infinite-State and Parameterized Reactive and mobile Systems". Defence: 12.2.2001.
• (with Tobias Nipkow) Dr. Leonor Prensa-Nieto. PhD Thesis: "Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee Methods in Isabelle/HOL". Defence: 21.2.2002.
• Dr. Stefan Schwoon. PhD Thesis: "Model-checking Pushdown Systems". Defence: 3.12.2002.
• Dr. Alin Stefanescu. PhD Thesis: "Automatic Synthesis of Distributed Systems". Defence: 13.02.2006.
• Dr. Claus Schröter. PhD Thesis: "Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen". Defence: 21.07.2006.
• Dr. Dejvuth Suwimonteerabuth. PhD Thesis: "Reachability in Pushdown Systems: Algorithms and Applications". Defence: 26.05.2009.
• Dr. Stefan Kiefer. PhD Thesis: "Solving Systems of Positive Polynomial Equations". Defence: 19.10.2009.
• Dr. Michael Luttenberger. PhD Thesis: "Solving Polynomial Systems on Semirings: A Generalization of Newton's Method". Defence: 8.2.2010.
• Christian Kern.
• Andreas Gaiser.
• Jan Křetínský
• René Neumann
• Maximilian Schlund