Javier Esparza

Javier Esparza has held the Chair for Foundations of Software Reliability and Theoretical Computer Science at the Technische Universit t M nchen since 2007.