EGRAPHS 2024
Program committee
Name
Affiliation
Chandrakana Nandi
Certora
Max Willsey
chair
UC Berkeley
Nadia Polikarpova
UC San Diego
Samuel Coward
Intel Corporation and Imperial College London, UK
Thomas Koehler
University of Glasgow
Zachary Tatlock
University of Washington