Dafny 2025 Contributors - Dafny 2025

Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

co-located with POPL 2025

Filter

Role Type

Contributing to

Number of Roles

Country

Results (10)

A Seth AhrenbachAhrenbach, Seth Beneficial AI FoundationUnited States PC Member in Program Committee within the Dafny-track
C Tej ChajedChajed, Tej UW-MadisonUnited States PC Member in Program Committee within the Dafny-track
D Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom PC Member in Program Committee within the Dafny-track
F Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom PC Member in Program Committee within the Dafny-track
L K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States Steering Committee Chair in Steering Committee Chairs within the Dafny-track
P Bryan ParnoParno, Bryan Carnegie Mellon UniversityUnited States PC Member in Program Committee within the Dafny-track
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland PC Member in Program Committee within the Dafny-track
T Joseph TassarottiTassarotti, Joseph New York UniversityUnited States Steering Committee Chair in Steering Committee Chairs within the Dafny-track
Jean-Baptiste TristanTristan, Jean-Baptiste Amazon Web ServicesUnited States Steering Committee Chair in Steering Committee Chairs within the Dafny-track
Z Stefan ZetzscheZetzsche, Stefan Amazon Web ServicesUnited Kingdom PC Chair in Program Committee Chairs within the Dafny-track