People

Here’s a list of people who are currently working in proof mining:

• Ulrich Kohlenbach (TU Darmstadt)

• Pedro Pinto (TU Darmstadt)

• Nicholas Pischke (TU Darmstadt)

• Anton Freund (Universität Würzburg)

• Paulo Oliva (Queen Mary University of London)

• Rob Arthan (Lemma 1 Ltd.)

• Thomas Powell (University of Bath)

• Morenikeji Neri (University of Bath)

• Laurențiu Leuștean (University of Bucharest & IMAR & ILDS)

• Andrei Sipoș (University of Bucharest & IMAR & ILDS)

• Adriana Nicolae (Babeş-Bolyai University of Cluj)

• Horațiu Cheval (University of Bucharest)

• Nicoleta Dumitru (University of Bucharest)

• Fernando Ferreira (University of Lisbon)

• Bruno Dinis (Universidade de Évora)

• Paulo Firmino (University of Lisbon)

• Genaro López-Acedo (University of Seville)

• Henry Towsner (University of Pennsylvania)