EGRAPHS Community

The EGRAPHS community meeting and the Zulip are organized by the EGRAPHS advisory board:

• Sam Coward, Imperial College London & Intel
• Chris Fallin, F5
• Chandrakana Nandi, Certora
• Zachary Tatlock, University of Washington
• Max Willsey, UC Berkeley