Institution. Chalmers University of Technology link · chalmers.se · ROR People Mario Carneiro mariocarneiroPost-doc in interactive theorem proving · Chalmers University of Technology digama0.github.io · 0000-0002-0470-5249 · https://github.com/digama0/ Naïm Camille Favier naimcamillefavierPhD · Chalmers University of Technology monade.li · 0000-0001-9708-624X · ncfavier · @ncf@types.pl Ondřej Kubánek ondrejkubanekChalmers University of Technology 0009-0006-6581-383X Formerly here Thierry Coquand thierrycoquandProfessor · University of Gothenburg PhD advisorGérard Huet PostdocsEvan Cavallo PhDUniversité Paris Diderot cse.chalmers.se/~coquand · 0000-0002-5429-5153 Thomas Sewell thomassewellLecturer · UNSW Sydney 0000-0002-4891-0797 Wouter Swierstra wouterswierstraUtrecht University PhD advisorThorsten Altenkirch PhDUniversity of Nottingham webspace.science.uu.nl/~swier004 · 0000-0002-0295-7944 · https://github.com/wouter-swierstra/