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

• Low-Dimensional Topology
• Geometric Group Theory
• Mapping Class Groups
• +۳ مورد دیگر

Prof. Sebastian Hensel is a Professor of Pure Mathematics at Ludwig Maximilian University of Munich (LMU), serving as Dean of Studies at the Mathematical Institute. His research focuses on low-dimensional topology, geometric group theory, and their interplay with mapping class groups, handlebody groups, and diffeomorphism groups of surfaces. He holds a PhD from the University of Bonn (2011) and has held positions at the University of Chicago as a Dickson Instructor and in Bonn before joining LMU. Research interests include algebraic and geometric properties of mapping class groups, handlebody groups, and their actions on geometric spaces. Recent work explores applications of geometric group theory to surface diffeomorphism groups. Preprints and publications span topics like thick laminations, curve graphs, and handlebody group rigidity. Teaching responsibilities include courses on geometric group theory, Riemannian geometry, and topology. He co-organizes advanced seminars such as the Geometry and Dynamics of Homeomorphisms and Representation Theory block seminars. His work also extends to pedagogical projects, including a textbook on representation theory for students and translations of foundational papers like Hilbert's ninth-degree equation. Current sabbatical (Winter 2024/25) involves collaboration on seminars while maintaining research output. The Geometry and Topology Working Group at LMU is central to his academic activities.

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.

David Shermanمشاهده پروفایل

دانشیار

• Functional Analysis
• Operator Algebras
• Noncommutative Lp Spaces
• +۴ مورد دیگر

David Sherman is an Associate Professor in the Department of Mathematics at the University of Virginia, part of the College of Arts & Sciences. His research focuses on functional analysis and operator algebras, with specialized interests in noncommutative L p spaces, operator theory within von Neumann algebras, model theory of operator algebras, and noncommutative convexity. He has contributed to foundational studies of noncommutative L p spaces, isometries between operator algebras, and applications of logic to operator algebras. Recent teaching includes advanced calculus, linear algebra, and operator theory courses. His work bridges pure mathematics with interdisciplinary themes, such as applying set-theoretic methods to algebraic structures and exploring connections between operator algebras and logic. Sherman has co-authored significant papers on topics like support expansion C*-algebras and quantization of coarse spaces, reflecting his expertise in modern operator theory. His research outputs emphasize structural properties of operator algebras, with notable contributions to the classification of II₁ factors and model-theoretic approaches to noncommutative systems. While no specific awards are listed, his extensive publication record and teaching roles highlight his academic impact. Sherman maintains administrative involvement in undergraduate mathematics programs and graduate initiatives at UVA.

Matteo Vialeمشاهده پروفایل

استاد

• Mathematical Logic
• Set Theory
• Forcing Axioms
• +۳ مورد دیگر

Matteo Viale is a Full Professor in the Department of Mathematics at the University of Torino. He specializes in mathematical logic with a focus on set theory, forcing axioms, and generic absoluteness. He is an active member of the Turin Logic Group and maintains international collaborations in foundational mathematics. His research explores advanced topics in set theory including forcing techniques, large cardinals, cardinal arithmetic, and their applications to mathematical foundations. Recent work investigates connections between forcing axioms and category theory, as well as absoluteness principles across different mathematical structures. Viale has advised numerous graduate students on theses covering boolean-valued models, forcing techniques, set-theoretic topology, and applications of logic to functional analysis. His pedagogical contributions include comprehensive lecture notes on forcing iterations, model companionship, and semiproper forcing. Notable recognitions include the Kurt Gödel Research Prize Fellowship (2010), Premio Fubini (2010), and Sacks Prize (2006) for his doctoral thesis on forcing axioms and cardinal arithmetic.

Michael Rapoportمشاهده پروفایل

استاد

• Mathematics
• Algebraic Geometry
• Number Theory
• +۵ مورد دیگر

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 Dowمشاهده پروفایل

استاد

• Topology
• Set Theory
• Set-Theoretic Topology
• +۳ مورد دیگر

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.

A. Stephen Morseمشاهده پروفایل

استاد

• Control Systems
• Network Science
• Multi-Agent Systems
• +۵ مورد دیگر

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 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.

Federico Ardila-Mantillaمشاهده پروفایل

استاد

• Combinatorics
• Algebraic Combinatorics
• Geometric Combinatorics
• +۵ مورد دیگر

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 Shiمشاهده پروفایل

پژوهشگر ارشد

• Algebraic Topology
• Unstable Periodic Homotopy Theory
• Koszul Duality
• +۲ مورد دیگر

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
• +۱ مورد دیگر

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
• +۳ مورد دیگر

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 Kockمشاهده پروفایل

دانشیار

• Category theory
• Homotopy theory
• Combinatorics
• +۴ مورد دیگر

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)

Zeyu Dingمشاهده پروفایل

استادیار

• Privacy
• Algorithmic Fairness
• Machine Learning
• +۵ مورد دیگر

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.

• Real Algebraic Geometry
• Combinatorics
• Convex Optimization
• +۱۰ مورد دیگر

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.