Javier Esparza#
| Membership Number: | 2910 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2011 |
| Main Country of Residence: | GERMANY |
| Homepage(s): | http://www7.in.tum.de/~esparza |
Present and Previous Positions
- 2007 - present Chair of Foundations of Software Reliability and Theoretical Computer Science, Technische Universität München
- 2003 - 2007 Chair for Software Reliability and Security. University of Stuttgart
- 2001 - 2003 Chair ofr Theoretical Computer Science. University of Edinburgh
- 1994 - 2001 Associate professor (tenured) for Theoretical Computer Science, Technische Universität München
- 1993 - 1994 Research Assistant, University of Edinburgh
- 1990 - 1993 Research Assistant, University of Hildesheim
Fields of Scholarship
- Algorithms and tools for the design and verification of reactive and distributed systems
- Verification of systems with infinitely many states
- Software Model Checking
- Program analysis
- Formal models for distributed systems: Petri nets and process algebras
- Logic and automata theory
- Analysis of probabilistic systems
- Applications of linear and constraint programming to verification problems
- Semantics of parallel programming languages
- Analysis and synthesis of asynchronous circuits
Honours and Awards
- 2009 Doctor honoris causa in Informatics, Masaryk University
