Award year: 2019
Category: Other Award
Awarding organization: Utrecht University
Two research visits at the Utrecht University in 2019 and 2020, collaborating with Descartes Centre members Rosalie Iemhoff and Albert Visser on our formal logic project: "Lewis meets Brouwer: Constructive Strict Implication". The fellowship included on both occasions presentations at Utrecht's TULIPS seminar (in 2020, online jointly with Amsterdam's A|C seminar and FAU Informatik 8 Oberseminar" and visits to Amsterdam ILLC.
https://www.uu.nl/en/descartes-centre/about-us/fellowships
https://www.uu.nl/descartes-centre/over-ons/fellows