Technische Universität München, Germany
Title:
25 years of net unfoldings and true-concurrency analysis tools
Short-Biography:
Javier Esparza holds the Chair for Foundations of Software Reliability and Theoretical Computer Science at the Technische Universität München. He has co-authored two books and over 175 scientific papers in the fields of automatic program verification, program analysis, concurrency theory, and automata theory. Javier Esparza has made numerous contributions to the theory Petri nets, and was one of the initiators of the unfolding approach to model checking, the automata-theoretic approach to software model checking, and the verification of infinite-state systems. More recently he has conducted research on the fundamentals of program analysis and the verification of parameterized and stochastic systems. Javier Esparza received a honorary doctorate in Informatics from the Masaryk University of Brno in 2009, is member of Academia Europaea since 2011, and received an ERC Advanced Grant in 2018.