CoqPL 2019 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (32)
Thomas Dinsdale-YoungDinsdale-Young, Thomas |
Milos GligoricGligoric, Milos University of Texas at AustinUnited States |
Kiran GopinathanGopinathan, Kiran University College LondonUnited Kingdom |
Michael GreenbergGreenberg, Michael Pomona College |
Samuel GruetterGruetter, Samuel Massachusetts Institute of Technology |
Ronghui GuGu, Ronghui Columbia University, USAUnited States |
Lucas PeñaPeña, Lucas University of Illinois at Urbana-Champaign |
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States |
Bas SpittersSpitters, Bas Aarhus UniversityDenmark |
Gordon StewartStewart, Gordon Ohio UniversityUnited States |
Anton TrunovTrunov, Anton IMDEA Software InstituteSpain |
Daniel TschudiTschudi, Daniel Aarhus University |
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States |