Javier Esparza

ACM Fellows

Germany - 2025

citation

For contributions to the theory of program verification and concurrent systems.

Press Release