EGRAPHS 2025
Program committee
Name
Affiliation
Chandrakana Nandi
Certora Inc. and UW Seattle
Chris Fallin
F5
Max Willsey
chair
UC Berkeley
Philip Zucker
Draper Laboratory
Samuel Coward
Intel Corporation and Imperial College London, UK
Thomas Koehler
University of Glasgow