Arturo De Faveri
I am PhD student at IRIF (a research lab shared by Université Paris Cité and CNRS) working under the supervision of Antonio Bucciarelli.
I owe a lot to Pierre-Louis Curien and Antonino Salibra, who are acting as unofficial supervisors.
Funding is provided by the École doctorale de Sciences Mathématiques de Paris Centre (ED 386).
Research interests
I'm interested in a broad spectrum of topics in mathematical logic, especially in its connections with algebra (universal algebra, category theory) and computer science (λ-calculus, program semantics).
Education
- 2023-, PhD in Computer Science, IRIF and Université Paris Cité, France
- 2023, Visiting Student at the LMFI, Université Paris Cité, France
- 2021-2023, MSc in Mathematics, Università degli Studi di Torino, Italy
- 2018-2021, BSc in Mathematics, Università degli Studi di Torino, Italy
What I have been working on...
Where we may have met...
- Paris, Logique à Paris 2025, February 2025
- Padova, 5th ItaCa Workshop, December 2024
- Milano, Workshop on the occasion of Enrico Vitale 60th birthday, September 2024
- Udine, XXVIII AILA Meeting, September 2024
- Barcelona, TACL2024, July 2024
- Torino, 4th ItaCa Workshop, December 2023
Contact details
Email: defaveri irif fr
IRIF, Sophie Germain building
8 Place Aurélie Nemours
75013 Paris
France