جست‌وجوی استاد و پژوهشگر

• Topology and Geometry
• Geometry and Analysis
• K-Theory of C*-algebras
• +۳ مورد دیگر

Prof. Dr. Thomas Schick is a Professor of Mathematics at the Mathematical Institute of the University of Göttingen, leading the vibrant research group in Topology and Geometry. His work focuses on areas such as index theory, K-theory of C*-algebras, and geometry and analysis. He is a core member of the Research Training Group 2491 'Fourier Analysis and Spectral Theory', serving as its speaker, and has supervised numerous doctoral students in topics ranging from persistent cohomology to spectral engineering. His academic journey includes a PhD from Johannes Gutenberg University Mainz (1996) under Wolfgang Lück, followed by postdoctoral positions at the University of Münster and Penn State University before joining Göttingen in 2001. He has held visiting roles at institutions worldwide. Prof. Schick is an Ordentliches Mitglied of the Göttingen Academy of Sciences, a Fellow of the American Mathematical Society, and leads the Scientific Advisory Board of the Mathematisches Forschungsinstitut Oberwolfach. He edits several high-impact journals, including Annales Mathématiques Blaise Pascal and the Bulletin of the Iranian Mathematical Society. His research interests span topological and geometric analysis, with recent work exploring scalar curvature rigidity, T-duality, and coarse geometry. He regularly teaches advanced courses and seminars, including 'Index Theory and Theorems' and 'Topological Data Analysis', and actively mentors students through the RTG program.

Kirsten Wickelgrenمشاهده پروفایل

استاد

• Homotopy Theory
• Arithmetic Geometry
• Algebraic Topology
• +۴ مورد دیگر

Kirsten Wickelgren is a Professor in the Department of Mathematics at Duke University, affiliated with Trinity College of Arts & Sciences. Her research focuses on homotopy theory and arithmetic geometry, with support from the National Science Foundation through grants DMS-2405191 and DMS-2103838. She has held academic positions at Duke, Georgia Tech, and Harvard, teaching advanced courses in algebraic topology, algebra, and geometry. Her research explores intersections of algebraic topology and number theory, including motivic homotopy theory, quadratic forms, and enumerative geometry. Notable contributions include enriched counts of geometric objects over finite fields and arithmetic counts of curves in projective spaces. Wickelgren has advised numerous PhD students, including Chongyao Chen, Cameron Darwin, and Thomas Brazelton, and has mentored undergraduate and high school research projects. She has organized conferences such as the Abel Symposium 2025 and co-organized the Mathematics Employment Experience for High School Students at Duke.

• Pure Mathematics
• Mathematical Physics
• Applied Mathematics
• +۳ مورد دیگر

Ambrus Pal is a Reader in Pure Mathematics at the Department of Mathematics, Imperial College London, within the Faculty of Natural Sciences. His research interests span Pure Mathematics, Mathematical Physics, and Applied Mathematics, with a focus on algebraic geometry, number theory, and cohomology theories. He is affiliated with the CNRS-Imperial Abraham de Moivre UMI and contributes to both research and teaching in mathematics. His work often addresses cohomological pairings, arithmetic geometry, and the Brauer-Manin obstruction. Notable projects include studies on p-adic cohomology, motivic Euler characteristics, and the arithmetic Yau-Zaslow formula. Pal has collaborated on international conferences and schools, such as the LMS-CMI Research School on Homotopy Theory and Arithmetic Geometry. His publications reflect a deep engagement with abstract algebraic structures, including quasi-Boolean groups, Grothendieck-Witt rings, and real projective geometry. While his research emphasizes theoretical advances, applications to arithmetic applications and global function fields are recurrent themes. No scientific awards or advising records are explicitly mentioned.

Ravi Vakilمشاهده پروفایل

استاد

• Algebraic Geometry
• Enumerative Geometry
• Moduli Spaces
• +۳ مورد دیگر

Ravi Vakil is the Robert Grimmett Professor of Mathematics at Stanford University and the President of the American Mathematical Society (AMS). He specializes in algebraic geometry, with contributions to enumerative geometry, moduli spaces, intersection theory, and Schubert calculus. His research interests also extend to mathematics education and public outreach. He earned his Ph.D. from Harvard University under Joe Harris. Vakil is renowned for his book The Rising Sea: Foundations of Algebraic Geometry , set for publication by Princeton University Press in 2025. He co-founded MathOverflow and Proof School, and serves on editorial boards of journals like Algebra and Number Theory and Involve . His awards include the AMS Centennial Fellowship, Coxeter-James Prize, Sloan Fellowship, and the Chauvenet Prize for mathematical exposition. He has advised numerous Ph.D. students and is known for his dedication to teaching, receiving the Dean’s Award for Distinguished Teaching. Vakil actively participates in academic service, including roles on the AMS Board and the National Math Stars advisory board. His research explores foundational questions in algebraic geometry, often with connections to combinatorics and representation theory.

Matthieu Sozeauمشاهده پروفایل

پژوهشگر

• Type Theory
• Proof Assistants
• Functional Programming
• +۴ مورد دیگر

Matthieu Sozeau is a prominent researcher at Inria in the Gallinette team in Nantes, France, and a key contributor and coordinator of the Coq/Rocq proof assistant project. His work bridges theoretical computer science and practical software development, focusing on creating reliable formal verification tools. His research interests span Type Theory, Proof Assistants, Functional Programming, and Unification. He has made significant contributions to the development of Coq (recently renamed to Rocq Prover), particularly through the MetaCoq project which aims to verify Coq's kernel within Coq itself, the Equations plugin for dependent pattern matching, and CertiCoq, a verified compiler from Coq to assembly. His work enables stronger guarantees about formalized mathematics and verified software. Sozeau's publications reveal a consistent focus on foundational aspects of proof assistants. His recent work includes verified type checking ('Coq Coq Correct!'), verified extraction from Coq to OCaml, and sort polymorphism for proof assistants. These contributions advance both theoretical understanding and practical implementation of dependently-typed programming languages. Distinguished paper award for Verified Compilation from Coq to OCaml at PLDI'24 As an academic mentor, Sozeau has supervised PhD students including Théo Winterhalter and Antoine Allioux. He regularly teaches courses on proof assistants, notably at MPRI (Master Parisien de Recherche en Informatique), and actively participates in the academic community through program committees, invited talks, and workshops. His work has significantly influenced both the theoretical foundations and practical applications of interactive theorem proving.

• Algebraic Topology
• Functional Analysis
• Non-Commutative Geometry
• +۷ مورد دیگر

Dr. Paul Mitchener is a Lecturer at the University of Sheffield within the School of Mathematical and Physical Sciences . He serves as the MSc Mathematics Admissions Tutor and Course Director , contributing to both research and postgraduate education. His research lies at the intersection of Algebraic Topology and Functional Analysis , with a focus on non-commutative geometry, K-theory, index theory, and coarse geometry. He has explored applications of these areas to problems in operator algebras and topology, particularly through work on the Baum-Connes conjecture, Novikov conjecture for semigroups, and coarse homotopy groups. The 15 most recent publications highlight trends in his work: (1) Coarse Geometry (2020, 2001), (2) Novikov Conjecture (2018, 2011), (3) KK-Theory and C*-Categories (2002, 2007), (4) E-Theory (2020), and (5) Descent Techniques (2012, 2010). These works frequently involve analytical methods in topological problems.

Luca Vitaglianoمشاهده پروفایل

استاد

• Differential Geometry
• Mathematical Physics
• Poisson Geometry
• +۴ مورد دیگر

Luca Vitagliano is a Full Professor of Geometry at the Department of Mathematics, University of Salerno. His research focuses on Differential Geometry and Mathematical Physics, with specializations in Poisson Geometry, Lie Algebroids/Groupoids, Differentiable Stacks, and Geometric Methods for PDEs. He has advised four PhD students, including Antonio Maglio (2025) and Pier Paolo La Pastina (2020). He teaches courses such as Geometry II, Homology and Cohomology, and Higher Geometry. His recent articles explore shifted contact structures, Nijenhuis integrations, and deformation cohomology. Education: Not explicitly stated in text Research Groups: Geometry Group at University of Salerno Affiliations: INdAM Intensive Period on Poisson Geometry, Poisson 2024 Conference His work bridges pure mathematics (homological methods, stack theory) with applications in mathematical physics, emphasizing geometric structures like Jacobi manifolds and coisotropic submanifolds. He actively participates in international conferences and publishes with collaborators globally.

• Geometric Calculus of Variations
• Quantitative Aspects of Manifold Topology
• Global Riemannian Geometry

Alexander Nabutovsky is a Professor in the Department of Mathematics at the University of Toronto. His research focuses on the intersection of Geometric Calculus of Variations and Quantitative Aspects of Manifold Topology , with particular emphasis on Global Riemannian Geometry . He works on problems involving geodesics, minimal surfaces, and algorithmic methods in topology. His publications explore topics such as curvature-free bounds for minimal surfaces, complexity of Riemannian structures, and logic phenomena in geometric functionals. Key themes in his work include the study of geodesic nets, quantitative Morse theory, and the interplay between metric geometry and topological invariants. He has collaborated extensively with Regina Rotman and Shmuel Weinberger, producing foundational results in metric geometry and computational topology. Dr. Nabutovsky's work often bridges pure mathematics with applications in quantum gravity and algorithmic unsolvability problems. He has contributed to understanding the fractal nature of moduli spaces of Riemannian metrics and developed methods for estimating geodesic lengths under various topological constraints.

Anna Wienhardمشاهده پروفایل

استاد

• Discrete Subgroups of Lie Groups
• Deformation Spaces of Geometric Structures
• Representation Varieties
• +۶ مورد دیگر

Prof. Anna Wienhard holds the position of Professor at the Mathematical Institute of Heidelberg University since 2012, where she leads the Differential Geometry research group. She is also Scientific Director of the Research Station Geometry and Dynamics (since 2020) and Co-Spokesperson of the Excellence Cluster STRUCTURES (since 2019). She serves as a Group Leader at the Heidelberg Institute for Theoretical Studies (HITS) since 2015 and chairs the Heidelberg Laureate Forum Foundation. Her roles include editorships for journals like Annales Henri Lebesgue, Annales scientifiques de l'Ecole Normale Supérieure, and Geometric and Functional Analysis. Anna Wienhard earned dual degrees in theology and mathematics from the University of Bonn (2003/2004). After a theological research phase supported by the CRC 'Judaism – Christianity', she completed her PhD in mathematics at the University of Bonn in 2004. She held positions as a Dickson Instructor at the University of Chicago (2005–2007), postdoctoral research at the Institute for Advanced Study (IAS) in Princeton (2005–2006, 2009–2012), and was an Assistant Professor at Princeton University (2007–2012). She also served as Director of Graduate Studies at Princeton (2007–2010). Her research focuses on discrete subgroups of Lie groups , deformation spaces , representation varieties , Anosov representations , higher Teichmüller theory , and positivity in Lie groups . She explores these areas with interdisciplinary applications in physics and data science. Notable projects include the ERC Consolidator Grant (2014) and leadership in the DFG Excellence Cluster 2181 and Graduiertenkolleg 2229. Her work has been recognized through awards such as the Sloan Research Fellowship (2012–2014) and Fellow of the American Mathematical Society . She has organized workshops on topics like Ergodic Decompositions, Flat Conformal Lorentzian Structures, and Ratner's Theorem. Her grants span DFG-funded initiatives and international collaborations, including the GEAR Network and MSRI programs. She is actively involved in editorial roles, academic committees, and interdisciplinary research activities. Prof. Wienhard advises doctoral candidates and oversees research groups. She collaborates with institutions such as the IAS, Technical Universities in Munich and Ingolstadt, and the Berlin-Brandenburg Academy of Sciences. Her research group at Heidelberg University specializes in differential geometry, and she contributes to the Excellence Cluster’s unifying approach to emergent phenomena across mathematics and physics.

Martín Hötzel Escardóمشاهده پروفایل

استاد

• Homotopy Type Theory
• Univalent Mathematics
• Martin-Löf Type Theory
• +۱۲ مورد دیگر

Martín Hötzel Escardó is a Professor of Theoretical Computer Science in the School of Computer Science at the University of Birmingham, UK. He has been a faculty member since 2000, following previous academic positions at Imperial College London, the University of Edinburgh, and the University of St Andrews. His research bridges theoretical computer science and pure mathematics, with a strong emphasis on foundational aspects of computation. His educational background includes a BSc and MSc from Universidade Federal do Rio Grande Sul (Brazil) and a PhD from Imperial College London (1997) under Michael B. Smyth. Escardó's research interests center on topology in computation , constructive mathematics , dependent and univalent type theory (including Homotopy Type Theory and Cubical Type Theory), domain theory , locale theory , and exact real-number computation . His work explores deep connections between logic, topology, and programming, often using functional languages like Haskell and Agda to formalize and experiment with theoretical ideas. He is particularly known for his discoveries on exhaustively searchable infinite sets and the topological nature of computability. The trend in his recent publications reflects a sustained focus on univalent foundations, constructive domain and order theory, game semantics with dependent types, and the logical structure of type universes. His work consistently advances the formalization and understanding of higher-type computation and constructive mathematics within modern type theories. He has no listed scientific awards in the provided text, but his influence is evident through his extensive publication record and software developments like TypeTopology. Escardó has advised several students and collaborators, though specific names are not listed. He has been involved in significant research projects, particularly in the formalization of mathematics in type theory and the semantics of programming languages. His work often involves developing Agda libraries to formalize new mathematical results constructively. He leads and contributes to a vibrant research group in theoretical computer science at Birmingham, with a focus on logic, semantics, and type theory. His public research blog, lecture notes, and open-source Agda code (e.g., TypeTopology, HoTT-UF-in-Agda) serve as important resources for the community.

Roberto Pagariaمشاهده پروفایل

دانشیار

• Algebraic Topology
• Combinatorics
• Configuration Spaces
• +۴ مورد دیگر

Roberto Pagaria is an Associate Professor in Algebraic Topology at the University of Bologna. He is a member of the EMS Young Academy and has supervised three PhD students. His research focuses on Abelian arrangements, configuration spaces, matroids, representation theory, spectral sequences, and quiver varieties. Education: PhD in Mathematics (2019), thesis: 'Cohomology and Combinatorics of Toric Arrangements', advised by Filippo Callegaro Master's thesis: 'Geometry of Quiver Varieties', advised by Andrea Maffei Bachelor's thesis: 'The Brauer Group of a Local Field', advised by Angelo Vistoli and Ilaria Del Corso Research Interests: Pagaria's work bridges algebraic topology, combinatorics, and geometry. He explores cohomological structures of toric arrangements, elliptic arrangements, and configuration spaces. His studies include Hodge theory for polymatroids, combinatorial decomposition theorems, and applications of spectral sequences in representation theory. Academic Engagement: He co-organized the 2023 Summer School on 'Quiver Representations, Quiver Varieties, and Combinatorics' and delivered invited talks at leading institutions such as MIT, University of Strasbourg, and the Göran Gustafsson Symposium. His software tools like 'arithmat' (for arithmetic matroids) and 'Characteristic OT' enhance computational research in combinatorial algebraic geometry. Grants and Awards: While no specific grants are detailed, his active conference participation and software contributions highlight sustained academic engagement. His work has been published in top journals like the Journal of the London Mathematical Society and the International Mathematics Research Notices.

Koen van den Dungenمشاهده پروفایل

پژوهشگر

• Noncommutative geometry
• Unbounded KK-theory
• Fredholm operators
• +۶ مورد دیگر

Dr. Koen van den Dungen is a researcher at the Mathematical Institute of the University of Bonn , specializing in noncommutative geometry and unbounded KK-theory with applications to Fredholm operators , spectral flow , index theory , and gauge theories in both classical and quantum contexts. He has organized the NSeaG2023 meeting at the Hausdorff Center for Mathematics (HCM) , which included a school on noncommutative geometry and a workshop for researchers in the field. His research spans various subfields, including operator algebras , mathematical physics , and Lorentzian geometry , with a focus on the interplay between geometry and operator theory. He has contributed to the study of Kasparov product , Dirac operators , and Callias-type theorems , particularly in relation to noncommutative spaces and quantum field theories . Dr. van den Dungen's recent publications emphasize unbounded KK-theory , index theory , and noncommutative geometry , with keywords such as K-Theory , Operator Algebras , and Mathematical Physics . He has collaborated extensively with researchers like Bram Mesland, Adam Rennie, and Walter D. van Suijlekom, and his work has been published in journals including Forum of Mathematics, Sigma , Annales Henri Poincaré , and Journal of Noncommutative Geometry . At the University of Bonn, he has taught advanced courses such as Graduate Seminar on Global Analysis and Lecture course V5B8 'Selected Topics in Analysis' , focusing on noncommutative spaces and K-theory of C*-algebras . His teaching roles include assisting in Einführung in die Komplexe Analysis and Global Analysis courses. Dr. van den Dungen has not been explicitly mentioned as receiving scientific awards, but his leadership in organizing the NSeaG2023 workshop underscores his academic influence. His email contact is kdungen@uni-bonn.de or kdungen@math.uni-bonn.de , and his office is located in Room 1.032 at the Mathematical Institute (Endenicher Allee 60) .

Lars Hesselholtمشاهده پروفایل

استاد

• Algebraic Topology
• K-Theory
• Homological Algebra
• +۳ مورد دیگر

Lars Hesselholt is a Professor at the Department of Mathematical Sciences, University of Copenhagen, and a key member of the Copenhagen Centre for Geometry and Topology (GeoTop). His research focuses on the intersection of algebraic topology, K-theory, and arithmetic geometry, with significant contributions to topological Hochschild homology and its applications to number theory and algebraic geometry. His recent work includes advancements in Dirac geometry, connections between topological cyclic homology and the Fargues–Fontaine curve, and studies on the K-theory of division algebras over local fields. These publications highlight his role in bridging homotopy theory with arithmetic structures. Hesselholt maintains an active research profile, with 36 research outputs documented, including collaborations with mathematicians like Thomas Nikolaus, Morten Larsen, and Ayelet Lindenstrauss. His work spans topological methods in algebraic geometry, cyclic homology, and noncommutative geometry. For correspondence, he can be reached at larsh@math.nagoya-u.ac.jp or via phone at +4551319971. His office is located at Universitetsparken 5, 2100 København Ø, Denmark.

Shachar Carmeliمشاهده پروفایل

پژوهشگر

• Homotopy Theory
• Algebraic Geometry
• Representation Theory
• +۳ مورد دیگر

Shachar Carmeli is a researcher in the Department of Mathematics at the Weizmann Institute of Science. He previously held a postdoctoral position at the University of Copenhagen's Department of Mathematical Sciences, working with the Copenhagen Centre for Geometry and Topology. Carmeli earned his PhD from the Weizmann Institute under the supervision of Professor Dmitry Gourevitch, focusing on advanced topics in algebraic topology and representation theory. His research interests span homotopy theory, chromatic homotopy theory, algebraic geometry, and representation theory, with a current emphasis on higher semiadditivity in chromatic homotopy theory and its connections to algebraic K-theory. He also explores Nash stacks and geometric representation-theoretic frameworks. Notable collaborations include work with Tomer M. Schlank, Lior Yanovski, and Allen Yuan on cyclotomic extensions, redshift phenomena, and categorified trace constructions. Carmeli's recent publications highlight contributions to topics like chromatic Fourier transforms, descent in algebraic K-theory, and the topology of crystalline materials. His work bridges abstract algebraic structures with geometric and topological applications, often leveraging tools from higher category theory and spectral algebraic geometry.

Daniel Fruminمشاهده پروفایل

استادیار

• Logic
• Type Theory
• Program Verification
• +۵ مورد دیگر

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.