POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio

Registered user since Mon 27 Nov 2023

Name:Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio
Country:France
Affiliation:Université Jean Monnet Saint-Étienne
Research interests:Formalized Mathematics, Algebraic Number Theory, Proof Assistants, Lean

Contributions

Show activities from other conferences

POPL 2024-profile
View general profile