Javier Esparza#

Email:	javier.esparza 'at' mytum.de
Membership Number:	2910
Main Country of Residence:	GERMANY
Section:	INFORMATICS
Username:	jesparza

Homepage: 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