Joost Joosten#
| Membership Number: | 6999 |
| Membership type: | ORDINARY |
| Section: | PHILOSOPHY, THEOLOGY & RELIGIOUS STUDIES |
| Affiliated section(s): | MATHEMATICS |
| Elected: | 2024 |
| Main Country of Residence: | SPAIN |
| Homepage(s): | http://www.joostjjoosten.nl/ |
| ORCID: | 0000-0001-9590-5045 |
Present and Previous Positions
- 2015 - current Associate professor University of Barcelona
- 2010 - 2015 Ramón y Cajal Fellow at the University of Barcelona
- 2009 - 2010 Ramón y Cajal Fellow at the University of Seville
- 2007 - 2009 Product control and Risk Management at ABN AMRO bank, Amsterdam
- 2006 - 2007 Senior lecturer and researcher at the Institute for Logic, Language and Computation, University of Amsterdam
- 2006 Senior lecturer and researcher at the Philosophy department of Utrecht University
- 2005 - 2006 Researcher at the Mathematical Institute of the Czech Academy of Sciences, Prague
- 2005 Lecturer and researcher at the Institute for Logic, Language and Computation, University of Amsterdam
- 1999 - 2004 PhD fellow and lecturer at Utrecht University
Fields of Scholarship
- Proof theory
- Formal logic
- Logic in AI and law
- Metamathematics
Honours and Awards
- 2022 ICREA Acadèmia award for excellent research 200.000 € 2023 - 2028
- 2017 - 2023 Member of the Core Initiating Committee of the Proof Society
- 2015 ANEP (National Spanish Agency for Evaluation and Prospective) project evaluator
- 2012 AGAUR project evaluator
- 2004 One of two Best Thesis of the Year distinction from the Deutsche Vereinigung für Grundlagen der Exacten Wissenschaften
- 2004 Stimulation prize for excellent teaching Utrecht University
- 2003 Ranked among the best five teachers of Utrecht University
