----++ Officers

	* Chair: [[http://homepages.cwi.nl/~storm/][Tijs van der Storm]]
	* Vice-Chair: [[http://heather.miller.am/][Heather Miller]]
	* Secretary: [[http://alarmingdevelopment.org][Jonathan Edwards]]

----++ Members


| *Name* | *Affiliation* | *Country* | *Member Since* |
| [[http://www.cs.cmu.edu/~./aldrich/][Jonathan Aldrich]] | Carnegie Mellon University | USA | 2014 |
| [[http://namin.org][Nada Amin]] | Harvard | US | 2018 |
| [[http://www.cs.pdx.edu/~black][Andrew P. Black]] | Portland State University | USA | 2011 |
| [[http://bracha.org/Site/Home.html][Gilad Bracha]] | Shape Security | USA | 2011 |
| [[https://edwinb.wordpress.com/][Edwin Brady]] | University of St. Andrews | UK | 2015 |
| [[http://www.cs.pomona.edu/~kim][Kim Bruce]] | Pomona College | USA | 2011 |
| [[https://www.ponylang.io/][Sylvan Clebsch]] | Microsoft Research Cambridge | UK | 2019 |
| [[http://www.cs.utexas.edu/users/wcook][William R. Cook]] | University of Texas, Austin | USA | 2011 | 
| [[http://adam.chlipala.net/][Adam Chlipala]] | MIT | USA | 2013 |
| [[https://lukechurchnet.appspot.com/][Luke Church]] | U. Cambridge | UK | 2017 | 
| [[TomVanCutsem][Tom Van Cutsem]] | Nokia Bell Labs | BE | 2011 |
| [[http://alarmingdevelopment.org][Jonathan Edwards]] |  | USA | 2011 |
| [[http://pure.au.dk/portal/en/eernst@cs.au.dk][Erik Ernst]] | Aarhus University | DK | 2011 |
| [[http://www.eecs.northwestern.edu/~robby/][Robby Findler]] | Northwestern University | USA | 2011 |
| [[http://www.cs.utah.edu/~mflatt/][Matthew Flatt]] | University of Utah | USA | 2011 |
| [[https://www.cs.ubc.ca/~rxg/][Ronald Garcia]] | University of British Columbia | CA | 2018 |
| [[http://www.cs.pomona.edu/~michael/][Michael Greenberg]] | Pomona College | USA | 2017 |
| [[https://www.inf.usi.ch/faculty/hauswirth/][Matthias Hauswirth]] | University of Lugano | CH | 2018 |
| [[http://www.cse.chalmers.se/~rjmh/][John Hughes]] | Chalmers University | SE | 2019 |
| [[http://www.inf.puc-rio.br/~roberto/][Roberto Ierusalimschy]] | PUC-Rio | BR | 2014 |
| [[http://research.microsoft.com/en-us/people/daan/][Daan Leijen]] | Microsoft Research | USA | 2013 |
| [[http://www.ics.uci.edu/~lopes/][Crista Lopes]] | University of California Irvine | USA | 2011 |
| [[http://research.microsoft.com/people/smcdirm/][Sean McDirmid]] | | USA | 2013 | 
| [[http://www.linkedin.com/in/janwillemmaessen][Jan-Willem Maessen]] | Oracle | USA | 2011 |
| [[http://heather.miller.am/][Heather Miller]] | CMU | USA | 2017 |
| [[http://research.google.com/pubs/author35958.html][Mark S. Miller]] | Agoric | USA | 2011 |
| [[http://homepages.ecs.vuw.ac.nz/~kjx][James Noble]] | Victoria University of Wellington | NZ | 2011 |
| [[http://lampwww.epfl.ch/~odersky/][Martin Odersky]] | EPFL | CH | 2017 |
| [[http://www.informatik.uni-marburg.de/~kos/][Klaus Ostermann]] | University of Marburg | DE | 2015 |
| [[http://gallium.inria.fr/~fpottier/][François Pottier]] | INRIA | FR | 2018 |
| [[https://people.mpi-sws.org/~rossberg/][Andreas Rossberg]] | Max Planck Institute | DE | 2019 |
| [[https://www-sop.inria.fr/members/Manuel.Serrano/][Manuel Serrano]] | INRIA | FR | 2016 |
| [[http://cgi.di.uoa.gr/~smaragd/][Yannis Smaragdakis]] | University of Athens | GR | 2013 |
| [[http://homepages.cwi.nl/~storm/][Tijs van der Storm]] | CWI & University of Groningen | NL | 2013 |
| [[https://www.dcc.uchile.cl/eric_tanter][Éric Tanter]] | University of Chile | CL | 2018 |
| [[http://www.cs.cornell.edu/~ross/][Ross Tate]] | Cornell University | USA | 2015 |
| [[http://samth.github.io/][Sam Tobin-Hochstadt]] | Indiana University | USA | 2015 |
| [[http://eelcovisser.org][Eelco Visser]] | Delft University of Technology | NL | 2011 |
| [[http://www.voelter.de/][Markus Voelter]] |  | DE | 2015 |
| [[http://tinlizzie.org/~awarth][Alessandro Warth]] | Google | USA | 2011 |


-----++ Former Members



| *Name* | *Affiliation* | *Country* | *Member* |
| [[https://researcher.ibm.com/researcher/view.php?person=us-davidungar][David Ungar]] | IBM Research | USA | 2011-2014 | 
| [[http://en.wikipedia.org/wiki/Daniel_Henry_Holmes_Ingalls,_Jr.][Dan Ingalls]] | SAP | USA | 2011-2014 |
| [[http://research.microsoft.com/en-us/um/people/emeijer/default.aspx][Erik Meijer]] | Microsoft | USA | 2011-2014 |
| [[http://www.doc.ic.ac.uk/~susan][Susan Eisenbach]] | Imperial College | UK | 2011-2013 |
| [[http://www.dawis.wiwi.uni-due.de/team/stefan-hanenberg/][Stefan Hanenberg]] | Universität Duisburg-Essen | DE | 2013-2017 |
| [[http://blogs.msdn.com/madst/][Mads Torgersen]] | Microsoft | USA | 2011-2019 |
| [[https://wp.doc.ic.ac.uk/sd/][Sophia Drossopoulou]] | Imperial College | UK | 2015-2019 |