Group Members

Officers

• Chair: Tijs van der Storm
• Vice-Chair: Heather Miller
• Secretary: Jonathan Edwards

Members

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

Former Members