Dafny 2025 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (59)
Emmanuel Anaya GonzalezAnaya Gonzalez, Emmanuel UCSD |
Karnbongkot BoonriongBoonriong, Karnbongkot Imperial College London |
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States |
Saikat ChakrabortyChakraborty, Saikat Microsoft ResearchUnited States |
Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom |
Sakina FatimaFatima, Sakina University of OttawaCanada |
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States |
Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft ResearchUnited States |
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States |
Tancrède LepointLepoint, Tancrède Amazon Web Services |
Yue Chen LiLi, Yue Chen Massachusetts Institute of Technology |
Mikael MayerMayer, Mikael Automated Reasoning Group, Amazon Web Services |
Sean McLaughlinMcLaughlin, Sean Amazon Web Services |
Md Rakib Hossain MisuMisu, Md Rakib Hossain University of California IrvineUnited States |
Anish MudideMudide, Anish Massachusetts Institute of Technology |
Eric MugnierMugnier, Eric University of California San Diego |
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology |
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland |
Gabriel PoesiaPoesia, Gabriel Stanford University |
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States |
Wojciech RóżowskiRóżowski, Wojciech University College LondonUnited Kingdom |
Siva SomayyajulaSomayyajula, Siva Amazon Web Services |
Qinyi SunSun, Qinyi Massachusetts Institute of Technology |
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States |
Max TegmarkTegmark, Max Massachusetts Institute of Technology |
Jean-Baptiste TristanTristan, Jean-Baptiste Amazon Web ServicesUnited States |
Yi ZhouZhou, Yi Carnegie Mellon UniversityUnited States |
Robert ZinkovZinkov, Robert University of Oxford |