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
Search

Results (59)

Farrell, Marie
The University of ManchesterUnited Kingdom
Jhala, Ranjit
University of California at San DiegoUnited States
L
Laddad, Shadaj
University of California at BerkeleyUnited States
M
Madge, Fabio
Automated Reasoning Group, Amazon Web Services
Misu, Md Rakib Hossain
University of California IrvineUnited States
Mudide, Anish
Massachusetts Institute of Technology
Myreen, Magnus O.
Chalmers University of Technology
N
Nezamabadi, Daniel
Chalmers University of Technology and University of Gothenburg
Polikarpova, Nadia
University of California at San DiegoUnited States
Sun, Qinyi
Massachusetts Institute of Technology
Tegmark, Max
Massachusetts Institute of Technology
Zhou, Yi
Carnegie Mellon UniversityUnited States