diff --git a/members.md b/members.md index f57e684..e727810 100644 --- a/members.md +++ b/members.md @@ -10,7 +10,9 @@ ## Present members + + @@ -21,6 +23,7 @@ + @@ -38,7 +41,10 @@ + + + @@ -46,8 +52,11 @@ + + +
Name Affiliation Country Member Since
Jonathan Aldrich Carnegie Mellon University USA 2014
Nada Amin Harvard US 2018
Andrew P. Black Portland State University USA 2011
Adam Chlipala MIT USA 2013
Luke Church U. Cambridge UK 2017
Tom Van Cutsem KU Leuven BE 2011
Christos Dimoulas Northwestern University USA 2024
Jonathan Edwards   USA 2011
Erik Ernst (Emeritus) Aarhus University DK 2011
Robby Findler Northwestern University USA 2011
Mark S. Miller (Emeritus) Agoric USA 2011
James Noble Victoria University of Wellington NZ 2011
Martin Odersky EPFL CH 2017
Cyrus Omar University of Michigan USA 2024
Klaus Ostermann University of Marburg DE 2015
Tomas Petricek Charles University CZ 2024
Joe Gibbs Politz UCSD USA 2024
François Pottier INRIA FR 2018
Andreas Rossberg Max Planck Institute DE 2019
Manuel Serrano INRIA FR 2016
Tijs van der Storm CWI & University of Groningen NL 2013
Éric Tanter University of Chile CL 2018
Ross Tate Cornell University USA 2015
Ben Titzer CMU USA 2024
Sam Tobin-Hochstadt Indiana University USA 2015
Alessandro Warth Google USA 2011
Tobias Wrigstad Uppsala University SE 2024
## Former members