Authors

1. A
   1. Aaron Stump
   2. Alex Simpson
   3. Ambrus Kaposi
   4. Anders Kock
   5. Anders Mörtberg
   6. Andreas Abel
   7. Andrej Bauer
   8. Andrew Swan
   9. András Kovács
2. B
   1. Bart Jacobs
   2. Bassel Mannaa
   3. Benedikt Ahrens
   4. Benno van_den_Berg
3. C
   1. Carlo Angiuli
   2. Chris Kapulkin
   3. Christian Sattler
4. D
   1. Daniel Gratzer
   2. Daniel Murfet
   3. David Fernández-Duque
   4. David Michael_Roberts
   5. David Spivak
   6. Denis Firsov
   7. Dominic Orchard
5. E
   1. Emily Riehl
   2. Evan Cavallo
6. F
   1. Filippo Bonchi
   2. Francesco Dagnino
   3. Fredrik Nordvall_Forsberg
7. H
   1. Helle Hvid_Hansen
   2. Herman Geuvers
   3. Hugo Luiz_Mariano
8. I
   1. Ieke Moerdijk
9. J
   1. Jakob von_Raumer
   2. Jan Rutten
   3. Joachim Kock
   4. Jonathan Sterling
   5. Jonathan Weinberger
   6. Jörg Endrullis
10. L
    1. Luis Scoccola
11. M
    1. Matija Pretnar
    2. Michael Shulman
12. N
    1. Neil Ghani
    2. Niccolò Veltri
    3. Nicola Gambino
    4. Nicolai Kraus
    5. Nima Rasekh
    6. Noam Zeilberger
    7. Norihiro Yamada
13. O
    1. Ohad Kammar
14. P
    1. Paige Randall_North
    2. Paolo Capriotti
    3. Patricia Johann
    4. Paul-André Melliès
    5. Pawel Sobocinski
    6. Peng Fu
    7. Peter LeFanu_Lumsdaine
    8. Prakash Panangaden
15. R
    1. Ralph Matthes
    2. Rasmus Ejlers_Møgelberg
    3. Robert Harper
    4. Robin Houston
    5. Ross Street
16. S
    1. Samson Abramsky
    2. Shin-ya Katsumata
    3. Stepan Kuznetsov
    4. Steve Awodey
17. T
    1. Taichi Uemura
    2. Tarmo Uustalu
    3. Thierry Coquand
    4. Thorsten Altenkirch
    5. Tikhon Pshenitsyn
    6. Tobias Fritz
18. U
    1. Urs Schreiber
19. W
    1. Willem Heijltjes
20. Y
    1. Yannick Forster