Find Academic Supervisors

Michael RapoportView profile

Professor

• Mathematics
• Algebraic Geometry
• Number Theory
• +5 more

Michael Rapoport is a Professor at the University of Bonn, with a distinguished academic career spanning multiple institutions including the University of Cologne (1996-2003), University of Wuppertal (1989-1996), and the University of Heidelberg (1982-1986). He is a member of the Academy of Europe (elected 2012) and has held significant roles in mathematical research communities, such as serving on the Scientific Committees of the MPI Bonn (1988-2008) and IHES Paris (2001-2005). Current Position: Professor at University of Bonn Previous Positions: University of Cologne, Wuppertal, Bonn, Heidelberg Academic Affiliation: Mathematics Section Rapoport's research focuses on advanced mathematical structures in Algebraic Geometry and Number Theory. His work explores Shimura varieties, moduli spaces of abelian varieties, and locally symmetric algebraic varieties, with a particular emphasis on their geometric and arithmetic properties. Additionally, he has contributed to the study of p-divisible groups, affine flag varieties, and G-bundles on curves, shaping theoretical frameworks in these domains. His scholarly contributions include influential publications such as "Smooth compactifications of locally symmetric varieties" (2010) and "Period spaces for p-divisible groups" (1996). These works span topics like modular forms, special cycles, and coefficient spaces, reflecting a deep integration of geometry and number theory. Scientific Awards Heinz-Hopf-Preis (2011) Prix Gay-Lussac/Humboldt (2000) Gottfried-Wilhelm-Leibniz-Preis (1992) Akademiestipendium of the VW-foundation (1991) Rapoport has also played a pivotal role in academic governance, serving on editorial boards and selection committees. He was an Associate Editor of the Duke Mathematical Journal (1995-2000) and a member of the Scientific Committee at the Max Planck Institute for Mathematics in Bonn for two decades (1988-2008).

Alan DowView profile

Professor

• Topology
• Set Theory
• Set-Theoretic Topology
• +3 more

Alan Dow is a Professor of Mathematics at the University of North Carolina at Charlotte (UNC Charlotte), affiliated with the Mathematics & Statistics Department within the College of Liberal Arts and Sciences. His research focuses on advanced areas of topology, set theory, and their intersections, including topics like ultrafilters, compactifications, forcing axioms, and cardinal invariants. He has collaborated extensively with researchers such as Saharon Shelah, K.P. Hart, and Osvaldo Guzman, producing groundbreaking work on spaces like N*, S-spaces, and the Stone-Čech compactification. His work often employs set-theoretic methods, exploring properties of topological spaces under different axiomatic frameworks such as Martin's Axiom (MA) and Proper Forcing Axiom (PFA). Key contributions include studies on automorphisms of Boolean algebras, pseudoradial spaces, and the structure of compact spaces under varying continuum hypotheses. His research also addresses foundational questions in topology, such as the existence of Efimov spaces and the behavior of topological invariants like weight and tightness. Dr. Dow’s publications frequently appear in journals like *Topology and its Applications*, *Fundamenta Mathematicae*, and *Israel Journal of Mathematics*. His research trends emphasize the interplay between set theory and topology, with a focus on constructing and analyzing spaces that test limits of classical topological principles under various set-theoretic assumptions. He has received no explicitly listed scientific awards but maintains an active research agenda with numerous collaborations. His academic contributions include advising and mentoring, though specific student names are not documented here. Office: Fretwell 390J, Email: adow@uncc.edu.

Jingbang ChenView profile

Academic

• Algorithms
• Graph Theory
• Data Structures
• +3 more

Jingbang Chen is a Research Assistant Professor at the School of Data Science, The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen) and holds a joint faculty position at Shenzhen Loop Area Institute (SLAI) starting September 2025. His academic journey includes a Ph.D. from the University of Waterloo, an M.S. from Georgia Institute of Technology, and a B.Eng (Honors) from Zhejiang University under the supervision of Can Wang. Education: Ph.D., Computer Science, University of Waterloo (2023-2025) M.S., Computer Science, Georgia Institute of Technology (2020-2022) B.Eng. (Honors), Pursuit Science Class, Chu Kochen Honors College (Joint Program with College of Computer Science and Technology), Zhejiang University (2016-2020) High School, Guangzhou No.2 High School (2010-2016) Dr. Chen's research focuses on the design, analysis, and implementation of provably efficient algorithms and data structures, with a particular emphasis on graph theory. He is also exploring intersections between traditional algorithm design and artificial intelligence. His work bridges theoretical computer science with practical applications in network analysis, temporal data processing, and optimization. The publication record shows a strong trajectory with papers in top venues including ICML, VLDB, KDD, and theoretical computer science conferences. Scientific Contributions: Published in premier venues including ICML 2025, VLDB 2025, KDD 2024, and multiple theoretical conferences Research spans graph algorithms, optimization techniques, network analysis, and the emerging field of learning-augmented algorithms Active contributor to the competitive programming community as both researcher and practitioner Dr. Chen is deeply involved in Competitive Programming activities, having competed in ICPC World Finals 2018 (Beijing) and 2022 (Egypt), winning regional champion titles and several gold medals. He serves as chief judge for multiple ICPC Asia regionals and coaches training camps including the North American Programming Camp (NAPC). He is also the founder and co-president of the Universal Cup, an international competitive programming contest platform. Currently, he is recruiting highly motivated PhD students with strong backgrounds in competitive programming and interest in research, collaborating with Prof. Chenhao Ma on algorithm design projects.

A. Stephen MorseView profile

Professor

• Control Systems
• Network Science
• Multi-Agent Systems
• +5 more

A. Stephen Morse is the Dudley Professor of Electrical & Computer Engineering at Yale University. He has been affiliated with Yale since 1970 and holds memberships in prestigious organizations such as the National Academy of Engineering and the Connecticut Academy of Science and Engineering. His research focuses on control systems, including hybrid systems, network science, multi-agent coordination, and sensor networks. He has received numerous awards, including the Bellman Control Heritage Award (2013) and the IEEE Technical Field Award (1999). Morse earned his BSEE from Cornell University, MS from the University of Arizona, and PhD from Purdue University. His work emphasizes logic-based switching, vision-based control, and distributed algorithms for autonomous systems. He has contributed to foundational papers on multi-agent consensus and formation control, as well as sensor network localization. Current projects include swarming dynamics and reactive control strategies for autonomous vehicles. His scientific contributions span over 200 publications, with recent work addressing distributed control algorithms, climate impact modeling, and game-theoretic network analysis. Morse advises graduate students like Ming Cao and Jia Fang, and his research group explores cutting-edge topics in systems theory and robotics.

Daniel FruminView profile

Assistant Professor

• Logic
• Type Theory
• Program Verification
• +5 more

Daniel Frumin is an Assistant Professor in the Department of Fundamental Computing Science at the University of Groningen, affiliated with the Bernoulli Institute. His research focuses on Logic, Type Theory, and Program Verification, with a particular emphasis on formal methods for concurrency, type systems, and homotopy type theory. He has contributed to foundational work in denotational semantics, modular programming language design, and mechanized verification of concurrent systems. His expertise includes the application of logical frameworks to concurrency models, such as ReLoC (Relational Logic for Concurrent Programming) and the integration of type theories with operational semantics. Recent work explores guarded interaction trees, interval domains in homotopy type theory, and compositional security properties for fine-grained systems. Frumin has published extensively in top-tier venues like ESOP, CONCUR, and ACM POPL, with peer-reviewed contributions on topics ranging from bunched implications in session-based concurrency to formal verification of data structures like concurrent queues. His research often bridges theoretical computer science and practical formal verification, leveraging tools like Coq for mechanized proofs. Collaborations include projects with institutions such as Aarhus University (Denmark) and the University of Bologna, focusing on univalent foundations, categorical semantics, and security verification. His work is supported by grants from the Dutch Research Council (NWO) and industry partnerships like Meta's Folly Library verification efforts. Labs/Teams: Active contributor to the Bernoulli Institute's Formal Methods Group and the Univalent Foundations initiative. His research group specializes in applying type-theoretic and categorical methods to concurrency and verification challenges.

Federico Ardila-MantillaView profile

Professor

• Combinatorics
• Algebraic Combinatorics
• Geometric Combinatorics
• +5 more

Federico Ardila-Mantilla is a Professor of Mathematics at San Francisco State University and an Adjunct Professor at Universidad de los Andes, Colombia. His research focuses on combinatorics and its connections to geometry, algebra, and topology, with notable contributions to matroid theory, polytopes, and tropical geometry. He is also deeply involved in promoting equitable and inclusive mathematics education through initiatives like the SFSU-Colombia Combinatorics Initiative . His work bridges pure mathematics and applications, particularly in robotics and discrete geometry. He has held visiting positions including at the Institute for Advanced Study (Princeton, 2024-25). His research spans over 60 publications, emphasizing interdisciplinary approaches to combinatorial problems. Ardila advocates for accessibility in mathematics through axioms such as 'Mathematical potential is equally present in all groups' (cited widely in educational contexts). Key areas of research include algebraic structures on polytopes, Lagrangian geometry of matroids, and geometric enumeration. He collaborates internationally and mentors students across institutions. His outreach efforts aim to make mathematics accessible to underrepresented communities.

Yuqing ShiView profile

Research Fellow

• Algebraic Topology
• Unstable Periodic Homotopy Theory
• Koszul Duality
• +2 more

Yuqing Shi is a Postdoctoral Fellow at the Max Planck Institute for Mathematics in Bonn, Germany, specializing in advanced areas of algebraic topology. Their research focuses on unstable periodic homotopy theory, Koszul duality, chromatic homotopy theory, and Goodwillie calculus. Shi has established academic connections with both the University of Bonn and University of Utrecht, where they have taught courses and supervised student research. Shi completed their PhD at the Utrecht Geometry Centre of University of Utrecht under the supervision of Gijs Heuts, with doctoral research centered on the periodic homotopy theory of topological spaces. Prior to their doctoral studies, they earned both Bachelor's and Master's degrees at University of Bonn, writing their theses with Peter Teichner at the Max Planck Institute for Mathematics. Shi's research explores deep connections between algebraic structures and topological phenomena. Their work on unstable periodic homotopy investigates periodic patterns in homotopy groups of spaces, while their research on Koszul duality examines fundamental relationships between algebraic constructions. The chromatic approach provides a framework for organizing topological complexity, and Goodwillie calculus offers tools for analyzing functors between categories of spaces. As an academic community builder, Shi has organized multiple specialized seminars including the Reading Seminar on the Unstable Adams Spectral Sequence (2024), the Reading Seminar on Orientations of Ring Spectra (2022), and the Reading Group on Synthetic Spectra (2020-2021). They are also co-organizing the upcoming Workshop on Unstable Homotopy Theory (November 2024) at the Max Planck Institute. Shi has demonstrated commitment to education through teaching a lecture course on Koszul duality at University of Bonn (Winter Semester 2024/2025), supervising a Bachelor thesis on the Borsuk-Ulam theorem, co-organizing a Master student seminar on algebraic topology, and serving as teaching assistant for various mathematics courses at both University of Utrecht and University of Bonn.

• Arithmetic Geometry
• Algebraic K-Theory
• Non-Archimedean Geometry
• +1 more

Prof. Dr. Georg Tamme is a faculty member at the Institute of Mathematics (Johannes Gutenberg University Mainz). His research focuses on Arithmetic Geometry and Algebraic K-Theory , with significant contributions to non-Archimedean geometry, motivic homotopy theory, and regulator maps. Research Interests: Tamme's work bridges Algebraic K-Theory Arithmetic Geometry Non-Archimedean Geometry Differential Algebraic K-Theory Advising: He supervises doctoral students including Andreas Gieringer Luca Passolunghi

• Operator Algebra
• C*-algebras
• K-theory
• +3 more

Søren Eilers is a Professor at the Department of Mathematical Sciences , University of Copenhagen. His research focuses on Operator Algebras , particularly the classification of C*-algebras related to discrete and low-dimensional structures. He is a member of the FNU network 'Automorphisms and Invariants for Operator Algebras' and advocates for experimental mathematics using computational methods in pure mathematics. Education: MS in Mathematics and Computer Science, University of Copenhagen (1993) PhD in Mathematics, University of Copenhagen (1995) Research Interests: Operator Algebras K-theory Symbolic Dynamics Discrete Mathematics Experimental Mathematics Recent Publications (2016-2024) demonstrate expertise in graph C*-algebras , symbolic dynamics , and computational approaches to pure mathematics, with key collaborations in Denmark, Japan, Canada, and the U.S. Scientific Leadership: President, Danish Mathematical Society (2006-2008) Principal Investigator, Villum Fonden (2012-2016) Main Organizer, Mittag-Leffler Institute Program (2016) Advisory Roles: Supervised 28 master's theses and mentored 9 PhD students/postdocs (2003-2022) across institutions in Denmark, Canada, Japan, and the U.S.

Joachim KockView profile

Associate Professor

• Category theory
• Homotopy theory
• Combinatorics
• +4 more

Joachim Kock is an Associate Professor at the Department of Mathematical Sciences, University of Copenhagen, with research focusing on category theory, homotopy theory, combinatorics, and algebraic geometry. His work explores intersections with probability theory, mathematical physics, and computer science, particularly through decomposition spaces, operads, and categorical structures. Education: Not explicitly mentioned External Employment: Professor Titular at Autonomous University of Barcelona Research Areas: Category theory and higher structures Homotopy-theoretic combinatorics Decomposition spaces and incidence algebras Applications in computer science and mathematical physics Recent Publications: 2024: ∞-operads as symmetric monoidal ∞-categories 2022: Tracelet Hopf Algebras and Decomposition Spaces 2022: Infinity-Operads as Analytic Monads 2021: Every 2-Segal space is unital 2021: Operadic categories and decalage Editorial Activities: Editor, Theory and Applications of Categories (since 2017) Editor, Higher Structures (2016–2022) Editor, Compositionality (since 2018)

Kyla PohlView profile

Visiting Assistant Professor

• Combinatorics
• Symmetric Functions
• Algebraic Combinatorics
• +4 more

Kyla Pohl is a Visiting Assistant Professor of Mathematics at Colby College and an ABD PhD candidate at the University of Oregon, where she is advised by Ben Young. Her academic background includes a Bachelor of Arts degree in Mathematics with a concentration in Japan Studies from St. Olaf College and a Master's degree in Mathematics from the University of Oregon. Her research focuses on algebraic and enumerative combinatorics, with primary emphasis on Jack symmetric functions, hook length formulas, and probabilistic methods. She employs experimental approaches using SageMath and maintains an active GitHub repository showcasing implementations of combinatorial algorithms. Pohl's publications demonstrate expertise in both combinatorics and algebra, with recent work exploring probabilistic aspects of symmetric functions. Her research trajectory shows increasing focus on combinatorial algorithms and computational approaches to partition theory. She contributes to academic service through seminar organization and maintains educational resources including Jupyter notebooks demonstrating Markov Chain Monte Carlo methods. Her teaching experience includes courses in mathematics and mentorship through the Directed Reading Program.

Zeyu DingView profile

Assistant Professor

• Privacy
• Algorithmic Fairness
• Machine Learning
• +5 more

Zeyu Ding is an Assistant Professor in the School of Computing at Binghamton University, with a courtesy appointment in the Department of Mathematics and Statistics. He holds two PhDs: one in Computer Science from Penn State University and another in Mathematics from Binghamton University, along with a BS in Mathematics from Zhejiang University. Research Interests His work focuses on the intersection of privacy, security, machine learning, and algorithmic fairness. He investigates how to protect sensitive personal information through differential privacy mechanisms, formal verification, numerical optimization, and privacy-preserving statistical inference. Article Trends Ding's publications highlight advancements in differential privacy, including the Report Noisy Max with Gap Mechanism and the Permute-and-Flip approach. His research also addresses security challenges like reconstruction attacks and automated verification tools (e.g., Checkdp and DPGen), alongside mathematical explorations of automorphism group schemes and Barsotti-Tate groups. Scientific Awards CCS Outstanding Paper Award, 2018 Caper Bowden PET Award Runner-up, 2019 CCS Best Paper Award Runner-up, 2020 CCS Best Paper Award Runner-up, 2021 Research Award from Penn State University, 2019 Teaching Award from Penn State University, 2021 His research is supported by the NSF grant 2317233, underscoring his contributions to privacy-preserving computational methods.

Jochen HeinlothView profile

Professor

• Algebraic Geometry
• Moduli Spaces
• Algebraic Stacks
• +7 more

Prof. Dr. Jochen Heinloth is a full Professor at the Faculty of Mathematics, University of Duisburg-Essen, where he leads a research group focused on algebraic geometry, moduli spaces, and algebraic stacks. He is actively involved in teaching, research, and seminar supervision, with a strong presence in both national and international mathematical communities. His research interests include Algebraic Geometry , Moduli Spaces , Algebraic Stacks , Higgs Bundles , and the Geometric Langlands Program . His work bridges abstract category-theoretic constructions with concrete geometric problems, particularly in the context of bundles and representations on algebraic curves. The most recent publications reflect a deep engagement with moduli theory, stability conditions, and geometric representation theory. Trends include the study of the P=W conjecture, support theorems for Hitchin fibrations, and structural results on algebraic stacks. His collaborations with leading mathematicians such as J. Alper, O. García-Prada, and Ngo Bao Chau highlight his central role in modern algebraic geometry. No scientific awards are mentioned in the provided text. Prof. Heinloth advises PhD students and junior researchers, as evidenced by his long-running Seminar on Stacks , where participants present advanced topics in algebraic geometry. He has supervised talks by X. Zhang, M. Zhou, and others, indicating active mentorship. While no grants are explicitly mentioned, his sustained research output and collaborations suggest ongoing funding support. He teaches a wide range of courses, from undergraduate algebra and analysis to advanced topics like Algebraic Geometry and Stacks. He leads the Research Group Heinloth , which organizes seminars and fosters collaboration on stacks, moduli, and related fields. The group hosts regular PhD-level seminars, often in collaboration with other researchers, and maintains a focus on both foundational and cutting-edge topics in algebraic geometry.

• Real Algebraic Geometry
• Combinatorics
• Convex Optimization
• +10 more

Cynthia Vinzant is an Associate Professor in the Department of Mathematics at the University of Washington, College of Arts and Sciences. Her research lies at the intersection of real algebraic geometry, combinatorics, and convex optimization, with a focus on polynomials, determinants, and matroids. Ph.D., Mathematics, UC Berkeley, 2011 B.A., Mathematics and Neuroscience, Oberlin College, 2007 Her research interests include real algebraic geometry, combinatorics, convex optimization, tropical geometry, and spectrahedra. She studies the algebraic and combinatorial structures underlying optimization problems and geometric objects, particularly through the lens of hyperbolic and log-concave polynomials. Her recent publications span topics such as tropicalization of principal minors, determinantal representations, Fourier quasicrystals, and log-concave polynomials. These works demonstrate strong interdisciplinary connections across algebraic geometry, combinatorics, optimization, and mathematical physics. Sloan Research Fellowship (2020) Best Paper Award, STOC (2019) von Neumann Fellowship, IAS (2020–2021) Bernard Friedman Prize, UC Berkeley (2011) Rebecca Cary Orr Prize, Oberlin College (2007) She has advised several Ph.D. students including Tracy Chin, Jonathan Niño-Cortes, Joseph Rogge, Faye Pasley Simon, Michael Ruddy, Georgy Scholten, and Abeer Al Ahmadieh. She has received significant NSF funding, including a CAREER award (2020–2025) on determinantal, hyperbolic, and log-concave polynomials. She has taught courses in tropical geometry, convex algebraic geometry, and optimization at both the University of Washington and North Carolina State University.

Vanessa MiemietzView profile

Professor

• Representation Theory
• Homological Algebra
• 2-Representation Theory
• +4 more

Vanessa Miemietz is a Professor of Pure Mathematics at the University of East Anglia , based in the School of Engineering, Mathematics and Physics. Her research focuses on representation theory, homological algebra, and categorification, with specializations in 2-representation theory and algebraic structures related to finite-dimensional algebras and algebraic groups. Education: PhD in Mathematics (Dr.rer.nat), University of Stuttgart (2002–2005) Diploma in Mathematics (Dipl.Math), University of Stuttgart (1997–2001) Research Interests: Structural properties of representation categories, categorification phenomena, and applications of homological algebra in Lie-theoretic contexts. She actively explores connections between algebraic groups and finite-dimensional algebra representations, with a focus on advancing 2-representation theory frameworks. Projects & Grants: Lead on 2-representation theory projects funded by EPSRC (2019–2023, 2025–2028) Hosted LMS Prospects in Mathematics Meeting (2021) Collaborative grants with Dr. R. Laugwitz and Dr. Jyun-Ao Lin Editorial Roles: Editorial Board Member, Applied Categorical Structures (2023–present) Editorial Board Member, Communications in Algebra (2021–present) Supervision & Mentoring: Supervises PhD students in representation theory of algebraic groups and homological algebra. Open to discussing projects beyond listed opportunities and securing funding alternatives.