DeepSpec 2018 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (25)
Adam ChlipalaChlipala, Adam Massachusetts Institute of Technology, USAUnited States |
Joonwon ChoiChoi, Joonwon Massachusetts Institute of Technology, USA |
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology, SwedenSweden |
Clément Pit-ClaudelPit-Claudel, Clément MIT CSAIL |
Zhong ShaoShao, Zhong Yale University |
Stephanie WeirichWeirich, Stephanie University of Pennsylvania, USAUnited States |
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States |