Officers

Members

Name Affiliation down Country Member Since
Jonathan Edwards   USA 2011
Sean McDirmid   USA 2013
Markus Voelter   DE 2015
Erik Ernst Aarhus University DK 2011
Mark S. Miller Agoric USA 2011
Jonathan Aldrich Carnegie Mellon University USA 2014
John Hughes Chalmers University SE 2019
Heather Miller CMU USA 2017
Ross Tate Cornell University USA 2015
Tijs van der Storm CWI & University of Groningen NL 2013
Eelco Visser Delft University of Technology NL 2011
Martin Odersky EPFL CH 2017
Alessandro Warth Google USA 2011
Nada Amin Harvard US 2018
Sam Tobin-Hochstadt Indiana University USA 2015
François Pottier INRIA FR 2018
Manuel Serrano INRIA FR 2016
Andreas Rossberg Max Planck Institute DE 2019
Daan Leijen Microsoft Research USA 2013
Sylvan Clebsch Microsoft Research Cambridge UK 2019
Adam Chlipala MIT USA 2013
Tom Van Cutsem Nokia Bell Labs BE 2011
Robby Findler Northwestern University USA 2011
Jan-Willem Maessen Oracle USA 2011
Kim Bruce Pomona College USA 2011
Michael Greenberg Pomona College USA 2017
Andrew P. Black Portland State University USA 2011
Roberto Ierusalimschy PUC-Rio BR 2014
Gilad Bracha Shape Security USA 2011
Luke Church U. Cambridge UK 2017
Yannis Smaragdakis University of Athens GR 2013
Ronald Garcia University of British Columbia CA 2018
Crista Lopes University of California Irvine USA 2011
Éric Tanter University of Chile CL 2018
Matthias Hauswirth University of Lugano CH 2018
Klaus Ostermann University of Marburg DE 2015
Edwin Brady University of St. Andrews UK 2015
William R. Cook University of Texas, Austin USA 2011
Matthew Flatt University of Utah USA 2011
James Noble Victoria University of Wellington NZ 2011

Former Members

Name Affiliation Country Member
David Ungar IBM Research USA 2011-2014
Dan Ingalls SAP USA 2011-2014
Erik Meijer Microsoft USA 2011-2014
Susan Eisenbach Imperial College UK 2011-2013
Stefan Hanenberg Universität Duisburg-Essen DE 2013-2017
Mads Torgersen Microsoft USA 2011-2019
Sophia Drossopoulou Imperial College UK 2015-2019

Revision: r1.40 - 04 Jun 2020 - 13:11 - JonathanEdwards
WGLD > GroupMembers
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback