ICFP 2020 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (516)
A Gothenburg UniversitySweden |
University of Kent, UKUnited Kingdom |
University of MichiganUnited States |
IMDEA Software Institute and T.U. of Madrid (UPM) |
University of LjubljanaSlovenia |
University of Wisconsin-Madison, USA |
Carnegie Mellon UniversityUnited States |
University of St AndrewsUnited Kingdom |
U.S. Naval Research Laboratory |
Harvard UniversityUnited States |
Alexandru Ioan Cuza University of Iasi |
Erlang Solutions, SwedenGreece |
Ochanomizu UniversityJapan |
Carnegie Mellon University, USAUnited States |
B QBayLogic B.V.Netherlands |
IT University of CopenhagenDenmark |
Carnegie Mellon University, USAUnited States |
Eötvös Loránd UniversityHungary |
University of Gothenburg, Sweden |
Technische Universität KaiserslauternGermany |
University of Wroclaw |
University of Tübingen |
Aarhus University |
Boston University |
Univ Rennes- IRISAFrance |
St. Petersburg State University, St. Petersburg, Russia |
TaridesFrance |
Eötvös Loránd UniversityHungary |
University of Tübingen, Germany |
University of St. Andrews, UKUnited Kingdom |
DFINITY FoundationGermany |
Harvard University |
University of Alabama at Birmingham, USAUnited States |
C Galois, Inc.United States |
Nomadic Labs |
George Mason University |
Draper Laboratory |
CNRS - Université de Paris, FranceFrance |
Vrije Universiteit BrusselBelgium |
University of Missouri |
Tweag I/O & IOHKNetherlands |
University of Massachusetts BostonUnited States |
InriaFrance |
University of California, Berkeley |
Bournemouth UniversityUnited Kingdom |
University of Illinois at Urbana-ChampaignUnited States |
Data61, CSIRO and UNSWAustralia |
Université de Montréal |
University of Toronto Mississauga |
Massachusetts Institute of TechnologyUnited States |
Indiana University & University of Cambridge |
Galois, USAUnited States |
Flensburg University of Applied Sciences, Germany |
Oracle LabsAustralia |
Chalmers University of Technology, Sweden |
Carnegie Mellon UniversityUnited States |
Tokyo Institute of TechnologyJapan |
University of Cambridge, UKUnited Kingdom |
47 Degrees, SpainSpain |
Czech Technical UniversityCzech Republic |
D LIP6/CNRS France |
University of Gothenburg, Chalmers University of Technology |
University of VermontUnited States |
University of UtahUnited States |
Los Alamos National LaboratoryUnited States |
IOHKAustralia |
Microsoft Research, n.n. |
Delft University of Technology, NetherlandsNetherlands |
Vrije Universiteit BrusselBelgium |
University of Oregon, USA |
MPI-SWSGermany |
E Augusta UniversityUnited States |
Rakuten Institute of Technology, Rakuten, Inc. / The University of TokyoJapan |
Tweag I/OUnited States |
Chalmers University of TechnologySweden |
JGU MainzGermany |
Informal Systems IncUnited States |
Universidade Nova Lisboa |
Northwestern University, USAUnited States |
Tufts University, USAUnited States |
Rochester Institute of TechnologyUnited States |
Cornell UniversityUnited States |
Indiana University, USA |
G Well-Typed LLPUnited States |
University of British Columbia |
Nagoya UniversityJapan |
BedRock Systems |
Department of Computer Science, University of OxfordUnited Kingdom |
University of PennsylvaniaUnited States |
FAU Erlangen-Nürnberg, Lehrstuhl 8Germany |
Roskilde University, Denmark |
Microsoft Research and University of EdinburghUnited Kingdom |
University of Münster, Germany |
Carnegie Mellon UniversityUnited States |
Karlsruhe Institute of Technology |
IT University of CopenhagenDenmark |
University of California, San DiegoUnited States |
University of Applied Sciences MunichGermany |
H University of Nottingham, UKUnited Kingdom |
Utrecht University, Netherlands |
University of Münster, GermanyGermany |
Gunma University, Japan |
Oak Ridge National Laboratory |
Univ Rennes, Inria, CNRS, IRISA |
The University of Alabama at BirminghamUnited States |
Open University of the Netherlands, Netherlands |
Northeastern University, United StatesUnited States |
Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark |
University of Copenhagen, DenmarkDenmark |
The University of EdinburghUnited Kingdom |
Carnegie Mellon UniversityUnited States |
KAIST, South KoreaSouth Korea |
Eötvös Loránd UniversityHungary |
University of Minnesota, Twin CitiesUnited States |
McGill University |
University of Nottingham, UKUnited Kingdom |
I Kyoto University, JapanJapan |
University of Cambridge, UKUnited Kingdom |
University of Tübingen |
Opsian and OCaml LabsUnited Kingdom |
University of California, San DiegoUnited States |
Mozilla ResearchUnited States |
The University of Iowa |
INRIA Rennes |
Open University of the Netherlands, Netherlands |
University of California at San Diego, USA |
Microsoft, UK |
Universersité Paris Saclay, CNRS, LRIFrance |
University of Minho, Portugal / INESC TEC, PortugalPortugal |
University of California, San DiegoUnited States |
K Carnegie Mellon UniversityUnited States |
MPI-SWS |
Purdue UniversityUnited States |
University of Tsukuba, JapanJapan |
University of EdinburghUnited Kingdom |
Open University of the Netherlands, NetherlandsNetherlands |
Tweag I/ONetherlands |
IT University of CopenhagenDenmark |
Kyoto University |
Utrecht UniversityNetherlands |
OCaml Labs |
IRIF, France / University of Paris Diderot, France |
University of ChicagoUnited States |
Institute of Information Science, Academia Sinica, Taiwan |
University of Glasgow, United Kingdom |
University of EdinburghUnited Kingdom |
Heriot-Watt University, UK |
The University of Tokyo |
JetBrains Research, Saint Petersburg State UniversityRussia |
Delft University of TechnologyNetherlands |
Brown University, United States |
Computer Laboratory, University of Cambridge |
University of California, Santa CruzUnited States |
L Cornell University |
University of Maryland, College ParkGreece |
IRIF, Université Paris Diderot, FranceFrance |
Northwestern University |
Microsoft Research, USAUnited States |
Boston University |
University of MünsterGermany |
Yale University |
University of PennsylvaniaUnited States |
Wesleyan UniversityUnited States |
Heriot-Watt University, UK / The University of Edinburgh, UKUnited Kingdom |
Ghost LocomotionAustralia |
Universidad Nacional de Rosario |
The University of Edinburgh |
University of CambridgeUnited Kingdom |
Indiana University BloomingtonUnited States |
University of ChicagoUnited States |
KonturRussia |
Newcastle University, UKUnited Kingdom |
Chalmers University of Technology |
M Ghost Locomotion |
Università di Firenze |
Drexel UniversityUnited States |
Université de Paris |
CIFASIS-CONICET, ArgentinaArgentina |
Tokyo Institute of TechnologyJapan |
Tohoku University, JapanJapan |
United States |
University of Notre Dame |
Utrecht UniversityNetherlands |
Digital Asset GmbHAustralia |
University of Edinburgh |
Carnegie Mellon UniversityUnited States |
Sorbonne Universités —UPMC Univ Paris 06 |
University of Southern DenmarkDenmark |
University of Alabama at Birmingham | Harvard Medical SchoolUnited States |
Carnegie Mellon University |
Chalmers University of TechnologySweden |
Jane StreetUnited Kingdom |
Università degli Studi di Milano |
TQ Tezos |
School of Computing, University of KentUnited Kingdom |
University of Kansas, USAUnited States |
Academia Sinica, Taiwan |
Carnegie Mellon University, USA |
DIKU, University of CopenhagenDenmark |
University of CopenhagenDenmark |
University of OxfordUnited Kingdom |
University of Cambridge, UK |
Chalmers University of Technology, SwedenSweden |
Inria, Université Paris-Saclay, CNRS, Laboratoire de recherche en informatique |
IT University of CopenhagenDenmark |
N University of Vermont |
Federal University of Technology - ParanáBrazil |
Bluespec, Inc.United States |
UnaffiliatedChina |
Kyoto University |
Università di Firenze |
ESNE University School of Design, Innovation and TechnologySpain |
Tokyo Institute of Technology |
University of Minho, Portugal / INESC TEC, PortugalPortugal |
O University of Edinburgh |
University of Tsukuba |
Tohoku University, Japan |
University of MichiganUnited States |
University of Kent, UKUnited Kingdom |
University of Tübingen, GermanyGermany |
P Université de MontréalCanada |
University of California, Los Angeles |
National Technical University of AthensGreece |
EPFLSwitzerland |
Maynooth UniversityIreland |
NIA / NASA Formal Methods |
IMDEA Software Institute |
University of Dayton |
University of Bristol, UKUnited Kingdom |
McGill University |
University of PennsylvaniaUnited States |
University of California, San DiegoUnited States |
Inria, FranceFrance |
Microsoft Research, RedmondUnited States |
Independent Consultant, Sinusoidal EngineeringGermany |
Q University of Glasgow, United Kingdom |
Stevens Institute of TechnologyUnited States |
Tufts UniversityUnited States |
Microsoft ResearchIndia |
University of Missouri |
University of Leicester, UK |
University of WashingtonUnited States |
UNSW SydneyAustralia |
Purdue UniversityUnited States |
University of Alabama at Birmingham, USACanada |
Dfinity StiftungGermany |
Delft University of TechnologyNetherlands |
University of Illinois at Urbana-ChampaignUnited States |
Chalmers University of Technology, SwedenArgentina |
KAISTSouth Korea |
IBM CanadaCanada |
University of St. GallenSwitzerland |
University of California, San DiegoUnited States |
Microsoft Research and University of CambridgeUnited Kingdom |
University of California, San Diego |
INRIA SaclayFrance |
Geneva University HospitalsSwitzerland |
University of Tübingen, Germany |
Galois, Inc.United States |
National Institute of InformaticsJapan |
Yale-NUS College and National University of SingaporeSingapore |
Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen |
47 Degrees, SpainNetherlands |
Indiana University, USA |
University of WrocławPoland |
School of Electrical and Computer Engineering, Purdue UniversityUnited States |
IIT MadrasIndia |
University of Tübingen |
FAMAF, UNC / CONICETArgentina |
The University of Iowa |
University of Pennsylvania |
Active Group GmbHGermany |
Cornell UniversityUnited States |
Northwestern University, USAUnited States |
Princeton University, USAUnited States |
Georgetown Day SchoolUnited States |
IRIF, University Paris Diderot & CNRSFrance |
The University of EdinburghUnited Kingdom |
Vrije Universiteit Brussel, BelgiumBelgium |
The University of Iowa, USAUnited States |
Karlsruhe University of Applied Sciences, Germany |
Microsoft ResearchUnited States |
Utrecht University, NetherlandsNetherlands |
T InriaFrance |
Cornell UniversityUnited States |
University of St Andrews |
University of KentUnited Kingdom |
Aarhus UniversityDenmark |
None |
Indiana UniversityUnited States |
Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.Hungary |
Chiba University, JapanJapan |
National Institute of Informatics, JapanJapan |
U Reykjavik University, Tallinn University of TechnologyIceland |
V Chalmers University of Technology, Sweden |
KU LeuvenBelgium |
KULeuven |
KU Leuven, BelgiumBelgium |
IMDEA Software Institute |
IT University of CopenhagenDenmark |
Delft University of TechnologyNetherlands |
Tallinn University of TechnologyEstonia |
DeepMindUnited Kingdom |
Carnegie Mellon UniversityUnited States |
University of Bristol, UKUnited Kingdom |
John Hopcroft Center for Computer Science - Shanghai Jiao Tong UniversityChina |
Purdue University |
Carnegie Mellon University |
University of PennsylvaniaUnited States |
The Johns Hopkins University |
DFINITYUnited States |
Igalia, S.L. |
Target CorpUnited States |
Imperial College London, UKUnited Kingdom |
X Microsoft Research, USAChina |
Y University of CambridgeUnited Kingdom |
Hendrix CollegeUnited States |
Northwestern University, USATaiwan |
TU KaiserslauternGermany |
Boston University |
University of Toronto MississaugaCanada |
Facebook, USAUnited States |
FAMAF, UNC and CONICETArgentina |