معرفی
Sander Dahmen is an Associate Professor in the Department of Mathematics at Vrije Universiteit Amsterdam. He is affiliated with the Faculty of Science and actively involved in academic research and teaching. His primary research interests include Number Theory, Algebraic Geometry, and the formalization of mathematical proofs. Dahmen has contributed to foundational work in areas such as Dedekind domains, class groups of global fields, elliptic curves, and Diophantine equations. He has led research projects including the 'Formalizing Diophantine algorithms' (2022–2026) and 'New Diophantine Directions' (2017–2022), focusing on algorithmic and computational aspects. He currently teaches courses such as 'Number Theory' and 'Project Computer Assisted Proofs'. His research has been supported by grants, including the NWO tenure-track grant (2014–2019).
His publications span topics like formalizing mathematical structures, elliptic curve computations, and solving complex Diophantine equations. Dahmen also serves as an external member of the exam committee for Boswell-Bèta in Utrecht since 2021. His work bridges foundational mathematics with computational methods, emphasizing rigor through formal proof systems like Coq.
