Skip to content

Latest commit

 

History

History
51 lines (46 loc) · 2.01 KB

participants.md

File metadata and controls

51 lines (46 loc) · 2.01 KB
layout title author image
default
Participants
Community
mountains.jpg

(No) Registration

Registration is not required, you can simply show up at any of the activities of the workshop. Please visit our dedicated Zulip stream at the start of the workshop. It will function as virtual “common room”.

Even though registration is not required, as a first exercise in using GitHub (a central tool in the lean community) we invite you to make a Pull Request modifying this webpage's source to add your name to the list below (in alphabetical order).

Participants

  • Aniruddh Agarwal (University of Michigan, US)
  • Anne Baanen (Vrije Universiteit Amsterdam, NL)
  • Barinder S. Banwait
  • Alex J. Best (Boston University, US)
  • Peter Bruin (Universiteit Leiden, NL)
  • Kevin Buzzard (Imperial College London, UK)
  • Victoria Cantoral (KU Leuven, BE)
  • Mario Carneiro (Carnegie Mellon University, US)
  • Johan Commelin (Universität Freiburg, DE)
  • John Cremona (University of Warwick, UK)
  • Thomas Eckl (University of Liverpool, UK)
  • Cameron Freer (Massachusetts Institute of Technology, US)
  • Sébastien Gouëzel (University of Nantes, FR)
  • Jeroen Hanselman (Universität Ulm, DE)
  • Yury Kudryashov (University of Toronto, CA)
  • Jun Bo Lau (University of California San Diego, US)
  • Robert Y. Lewis (Vrije Universiteit Amsterdam, NL)
  • Patrick Massot (Université Paris-Saclay at Orsay, FR)
  • Sophie Morel (CNRS/ENS Lyon, FR)
  • Filippo A. E. Nuccio (Université de Lyon, UJM Saint-Étienne, FR)
  • Dmitrii V. Pasechnik (University of Oxford, UK)
  • Damiano Testa (University of Warwick, UK)
  • Damien Thomine (Université Paris-Saclay at Orsay, FR)
  • Eloi Torrents (Universitat Politècnica de Catalunya, CAT)
  • David Wärn (University of Cambridge, UK)