Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I'm a mathematician deeply interested in foundations (logic, set theory, model theory, metamathematics) and category theory (especially categorical logic). I'm currently an associate professor at University of la Réunion in Saint-Denis, Réunion (Indian Ocean) - France.
By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.
