Find Academic Supervisors

• Cryptology
• Algebraic number theory
• Algebraic geometry
• +4 more

Ronald Cramer is a Full Professor of Cryptology at the Mathematical Institute of Leiden University and serves as the Head of the Cryptology Group at Centrum Wiskunde & Informatica (CWI) in Amsterdam. His academic career spans multiple prestigious institutions including Aarhus University, ETH Zurich, and CWI, where he has held various research and professorial positions since earning his PhD from the University of Amsterdam in 1997. Professor Cramer's research interests focus on the theoretical foundations of cryptology, with significant contributions to algebraic number theory, algebraic geometry, coding theory, combinatorics, algorithms, and complexity theory. His work bridges deep mathematical concepts with practical cryptographic applications, particularly in secure multiparty computation and zero-knowledge proof systems. Over the past decade, his research has increasingly focused on developing efficient cryptographic protocols that operate over rings and lattices, expanding the theoretical boundaries of the field. His publication record demonstrates a consistent trajectory of high-impact research, with recent work (2017-2022) emphasizing compressed sigma-protocol theory, arithmetic secret sharing over various algebraic structures, and efficient multiparty computation protocols. These publications reveal a research program focused on optimizing communication complexity while maintaining strong security guarantees, with applications ranging from secure computation to threshold cryptography and verifiable computation. ERC Advanced Grant (2016) Member of the Royal Netherlands Academy of Arts and Sciences (KNAW) (since 2013) Fellow of the International Association for Cryptologic Research (IACR) (since 2013) Invited Speaker at 30th Annual IACR EUROCRYPT (2011) NWO VICI Laureate (2006) KNAW DJA (2005) Distinguished Cryptographer Lecture Series, NTT Research, Tokio (2003) KNAW Christiaan Huygens Award (1998) Professor Cramer has advised several PhD students including Thomas Attema, Wessel van Woerden, Diego Mirandola, Gabriele Spini, and Niek Johannes Bouman. His professional service includes editorial board memberships for leading cryptography journals and chairing major conferences including EUROCRYPT 2005, PKC 2008, and TCC 2012. He has also served on the IACR Board of Directors from 2005-2007. His research has been supported by significant grants including an ERC Advanced Grant in 2016 and an NWO VICI grant in 2006, enabling substantial contributions to both theoretical foundations and practical applications of modern cryptography.

Jan B. VonkView profile

Professor

• Number Theory
• Algebraic Geometry
• p-adic Analysis
• +3 more

Jan B. Vonk is a Professor of Mathematics at Leiden University's Mathematical Institute. Appointed full professor in November 2023, he leads research in number theory with a focus on real quadratic fields, p-adic analysis, and modular forms. His work bridges classical number theory with modern computational approaches, establishing him as a significant contributor to arithmetic geometry. Jan Vonk completed his mathematics studies at Ghent University, University of Iceland, and University of Cambridge, followed by a doctorate at the University of Oxford. After academic positions in Canada, the UK, and the US, he joined Leiden University in 2020. Professor Vonk's research centers on applying rigid analytic methods to problems in number theory, particularly concerning real quadratic fields. He has made groundbreaking contributions to the theory of rigid meromorphic cocycles and their applications to singular moduli, extending classical results beyond the imaginary quadratic setting. His work often explores the connections between modular forms, arithmetic geometry, and p-adic analysis, developing novel computational tools for theoretical investigations. His publication record shows a clear progression from computational aspects of overconvergent modular forms to more theoretical investigations of rigid cocycles and their arithmetic applications. Recent work demonstrates increasing sophistication in handling real quadratic fields through p-adic methods, with significant contributions to understanding Borcherds products, arithmetic intersections, and the Chabauty method for modular curves. ERC Starting Grant (2023) - Five-year research grant supporting his work on real quadratic fields VIDI grant (2022) - Major Dutch research grant from NWO Professor Vonk supervises multiple PhD candidates including Paolo Bordignon, Alex Braat, Håvard Damm-Johnsen, and Antigona Pajaziti. His research group develops specialized computational tools for number theory, particularly Magma packages for rigid meromorphic cocycles and quadratic Chabauty implementations. He maintains active collaborations with leading mathematicians worldwide, especially in North America where he previously worked. Based in the Gorlaeus Building at Leiden University, Vonk is a core member of the Number Theory, Algebra and Geometry research group. His computational work has practical applications in advancing theoretical understanding of arithmetic problems that have challenged mathematicians for decades.

David LilienfeldtView profile

Research Fellow

• Algebraic Number Theory
• Arithmetic Geometry
• Modular Forms
• +4 more

David Lilienfeldt is a postdoctoral researcher at Leiden University's Mathematical Institute and the first recipient of the Edixhoven Postdoctoral Fellowship. Previously, he held a postdoctoral position at the Hebrew University of Jerusalem's Einstein Institute of Mathematics. His research focuses on algebraic number theory and arithmetic geometry, particularly modular forms, elliptic curves, algebraic cycles, and special values of L-functions. He also investigates rational points on higher-genus curves through methods like Chabauty-Kim. His academic journey includes a PhD in Mathematics from McGill University (supervised by Henri Darmon), an MSc from EPFL (supervised by Eva Bayer-Fluckiger), and an exchange semester at Harvard University (supervised by Benedict Gross). He has co-organized seminars such as PANCakeS at Leiden and delivered lectures on topics ranging from BSD conjecture to arithmetic intersection theory. PhD: McGill University, 2021 MSc: EPFL, 2016 BSc: EPFL, 2014 David's recent publications explore twisted triple product L-functions, generalized Heegner cycles, and geometric quadratic Chabauty over number fields. His work bridges theoretical frameworks with computational experiments, contributing to understanding deep connections between algebraic cycles, L-series, and Diophantine equations. Scientific Awards: Edixhoven Postdoctoral Fellowship (Leiden University) Emily Erskine Endowment Fund Postdoctoral Researcher Fellowship (Hebrew University) Advising: Dominique Lawson (2024-2025, Leiden University) Chirstos Philippou (2023-2024, Leiden University, co-supervised with J. H. Evertse)

Gunther CornelissenView profile

Professor

• Algebraic Geometry
• Arithmetic Geometry
• Automorphic Forms
• +4 more

Prof. Gunther Cornelissen is a Professor of Fundamental Mathematics and Academic Director at the Mathematical Institute of Utrecht University's Faculty of Science. His research focuses on algebraic and arithmetic geometry, automorphic forms, number theory, noncommutative geometry, and mathematical physics, with a thematic emphasis on Foundations of Complex Systems. He led the Utrecht Geometry Centre (2014–2020), a graduate program funded by NWO to support four PhD candidates in geometry. Cornelissen teaches advanced courses like Fields and Galois theory and serves as editor for Indagationes Mathematicae (Dutch Royal Mathematical Society). His professional roles include membership in the Royal Holland Society of Sciences (KHMW) and the ESF College of Expert Reviewers. His research integrates algebraic methods with dynamical systems, spectral geometry, and quantum statistical mechanics. Recent work explores isospectrality, endomorphisms of algebraic groups, and applications of automata theory to group structures. Cornelissen’s projects often bridge pure mathematics with computational methods, such as polynomial-time graph recognition algorithms and stable gonality analysis.

• Computer Security
• Operating Systems
• Hardware Security
• +3 more

C Giuffrida is an Associate Professor at the Faculty of Science, Vrije Universiteit Amsterdam, with affiliations to the Network Institute and the Systems and Network Security group. His research focuses on computer systems security, hardware vulnerabilities, and software reliability. Giuffrida holds a PhD in Computer Systems from Vrije Universiteit Amsterdam (2014). His academic contributions span multiple areas including transient execution attacks, fuzzing techniques, and hardware-software co-design for security. Research Interests: Hardware Security: Investigating vulnerabilities like Spectre, Rowhammer, and speculative execution risks. Software Security: Focusing on memory safety, compiler optimizations, and exploit mitigation strategies. Systems Research: Developing tools like BinRec for binary analysis and VPS for C++ vulnerability protection. His work has been recognized with awards such as the Distinguished Paper Award in 2021. Giuffrida supervises advanced courses in operating systems and hardware security, and has guided 16 PhD theses to completion.

• Number Theory
• Algebraic Geometry
• Formalization of Mathematics
• +3 more

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.

Lorenzo GaleottiView profile

Researcher

• Mathematical Logic
• Computability Theory
• Set Theory
• +3 more

Lorenzo Galeotti is a researcher affiliated with the University of Amsterdam, specifically working within the Mathematical & Computational Logic (MCL) group at Amsterdam University College. His research focuses on foundational aspects of mathematical logic, computability theory, and generalized analysis. Research Interests: Galeotti investigates topics at the intersection of logic, computability, and non-standard mathematical structures. His work includes studying transfinite computability, infinitary intuitionistic set theory, and the properties of generalized real numbers and non-Archimedean fields. He also explores the application of logical frameworks in educational contexts, such as game-based learning tools for propositional logic. Publications: His recent articles address advanced topics in logic, including models of Peano arithmetic fragments, symmetry in infinite-time computation, and surreal number systems. These works reflect a consistent focus on extending classical concepts into transfinite and non-standard domains. Contact: Email correspondence can be directed to l.galeotti@uva.nl .

• Foundations of Complex Systems
• Abelian Varieties
• Finite Fields
• +5 more

Valentijn Karemaker is an Assistant Professor at the Faculty of Science, Utrecht University , specializing in the Mathematical Institute under the Fundamental Mathematics sub-unit. He focuses on the Foundations of Complex Systems , with particular expertise in Abelian Varieties , Finite Fields , Galois Representations , and Isogeny Classes . His research bridges theoretical mathematics and computational methods, notably contributing to problems like Hilbert's Tenth Problem and the Gauss problem for central leaves . He has published extensively in top-tier journals and co-authored significant surveys on local-global principles. Scientific Awards : NWO-Veni Award (2019) Westerdijk Award (2021-2022) Utrecht Young Academy (2021) NWO-XL Award (2022) NWO-Vidi Award (2023) Grants and Collaborations : He has received competitive NWO awards, hosted international researchers like Chia Fu Yu and Mihran Papikian, and contributed to editorial work for the American Mathematical Society.

• Number theory
• Arithmetic and algebraic geometry
• Arithmetic statistics
• +2 more

Dr. Soumya Sankar is a Postdoctoral Researcher at Utrecht University's Mathematical Institute in the Fundamental Mathematics department, working as part of the XL Rational Points Consortium. Previously, she served as a Ross Assistant Professor at Ohio State University and was a Gamelin Postdoctoral Fellow at MSRI during Fall 2020. Her research expertise spans several interconnected areas of pure mathematics: Number theory Arithmetic and algebraic geometry Arithmetic statistics Rational points on moduli stacks Dr. Sankar is an active organizer within the mathematical community, currently co-organizing the Algebraic Geometry Seminar at Utrecht University with Sara Mehidi and the Arakelov Theory seminar of the Rational Points Consortium. Her organizational contributions include the Mathematical Research Community on Explicit computations with Stacks (June 2023), the online seminar series New Developments in Number Theory during the pandemic, and the Madison Moduli Weekend Online conference (September 2020). She is dedicated to inclusive mathematical practices, explicitly aligning with Federico Ardila's axioms regarding equitable mathematical potential and student dignity. Dr. Sankar will be teaching the Seminar on Quadratic Forms (WISM568) in Spring 2025 at Utrecht University.

• Mathematics Education
• Geometry
• Algebra
• +3 more

Martin Kindt is a Lecturer in Mathematics Education at the Freudenthal Institute, Faculty of Science, Utrecht University. He has maintained an active presence in mathematics education research and practice since at least 2001, with particular focus on geometry, algebra, and historical perspectives in mathematics teaching. His research interests include: Geometry and spatial reasoning, particularly symmetry and regularity in plane and space Algebraic thinking and conceptual understanding pathways History of mathematics and its application to modern educational practices Integration of geometry and algebra in teaching frameworks Real-world mathematical applications, especially in engineering contexts Curriculum development for secondary mathematics education Kindt's scholarly work demonstrates a distinctive approach that connects historical mathematical developments with contemporary educational challenges. His presentations on figures like Albrecht Dürer and ancient systems like Babylonian mathematics reveal a consistent theme of using historical context to illuminate modern teaching practices. The progression of his work shows increasing sophistication in connecting geometric visualization with algebraic structures, as evidenced by titles like 'Geometry and Algebra, a Happy Marriage' and 'Regularity in Plane and Space.' His international engagement is notable, with presentations delivered across multiple continents including Asia, South America, and Europe. This global perspective informs his contributions to the field of mathematics education, particularly through the lens of Realistic Mathematics Education, which originated in the Netherlands.