 |
Project: Formal verification of theory and algorithmic output for modular forms (DC3) Supervisors: Sander Dahmen and Assia Mahboubi Location: Stichting Vrije Universiteit Amsterdam, Netherlands |
|
My journey in mathematics began at the University of Milan, where I developed a fascination with Number Theory and Algebraic Geometry. Seeking a global perspective, I joined the ALGANT Master program, completing my Master’s across the University of Duisburg-Essen and the University of Paris-Saclay. Now, as a PhD candidate at Vrije Universiteit Amsterdam under the supervision of Sander Dahmen, I am thrilled to be part of the COGENT network. My research interests lie at the intersection of Computational Number Theory, Arithmetic Geometry and Computer Science. I am particularly driven by the challenge of bridging pure mathematics with some ideas and tools coming from computer science such as proof assistants and coding languages. Beyond the research, I am a passionate sailor and climber. When I am not working in the office I am either on a climbing wall or exploring the sea and sometimes both at the same time. |
|