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

Ralf Schindlerمشاهده پروفایل

استاد

• Mathematical Logic
• Set Theory
• Model Theory
• +۴ مورد دیگر

Prof. Dr. Ralf Schindler is a Professor at the Institute for Mathematical Logic and Fundamental Research within the Department of Mathematics and Computer Science at the University of Münster. His primary research focuses on foundational aspects of mathematical logic, particularly in set theory and model theory. Schindler's research explores core areas including inner model theory, forcing techniques, large cardinals, determinacy axioms, and descriptive set theory. His investigations address fundamental questions about the structure of mathematical universes, consistency proofs, and connections between set theory and other mathematical disciplines. Recent work emphasizes applications of determinacy hypotheses and extensions of Martin's Maximum. Schindler's publications demonstrate consistent focus on advanced set theory concepts from 2000 to 2021. Key trends include deep investigations into inner models (especially core models and mouse constructions), forcing axioms and their consequences, determinacy hypotheses, and the interplay between large cardinals and descriptive set theory. His collaborative works frequently appear in premier logic journals. Schindler has received significant recognition for his contributions: Hausdorff Medal (2022) Dov Gabbay Prize (2024) He leads the research project EXC 2044 - A2: Groups, model theory and sets , which investigates applications of model theory to arithmetic geometry, topological dynamics, and group theory, while addressing fundamental questions in geometric group theory and set theory foundations.

Gerold Alsmeyerمشاهده پروفایل

استاد

• Theory of stochastic processes
• Stochastic fixed-point equations
• Iterated function systems
• +۷ مورد دیگر

Prof. Dr. Gerold Alsmeyer is a faculty member at the Institute of Mathematical Stochastics, Department of Mathematics and Computer Science, University of Münster. He is an active researcher with a focus on stochastic processes, particularly stochastic fixed-point equations and iterated function systems. His work is supported by his role as an Investigator in Mathematics Münster in the project EXC 2044 - C1: Evolution and asymptotics. His primary research interests include the theory of stochastic processes, branching processes, Markov random walks, renewal theory, and the asymptotic analysis of random structures such as random trees and polytopes. He has made significant contributions to the understanding of fluctuation theory, perpetuities, and the smoothing transform. His recent publications (2017–2023) reveal a sustained focus on theoretical probability, with recurring themes in random difference equations, iterated function systems, and limit theorems for stochastic processes. The work spans pure mathematical theory and applications in mathematical biology and combinatorics, indicating a broad yet deep research profile. Prof. Alsmeyer has supervised numerous doctoral and master’s students, including Viet Hung Hoang, Christopher Eick, Philipp Godland, and Fabian Buckmann, whose dissertations cover topics in branching processes, random walks, and stochastic fixed-point equations. He has no listed scientific awards in the provided texts. He teaches courses in probability theory, mathematical statistics, branching processes, and stochastic recursion equations, demonstrating a strong commitment to academic mentoring and education.

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

استاد

• Set Theory
• Computability Theory
• Philosophy of Mathematics
• +۷ مورد دیگر

Joel David Hamkins is the O’Hara Professor of Logic at the University of Notre Dame, with significant affiliations to logic and philosophy research communities in China and Japan. His work bridges set theory, computability, and philosophy of mathematics, focusing on foundational questions about infinity, truth, and mathematical existence. Key Research Areas : Set theory, potentialism, continuum hypothesis, surreal numbers, forcing, large cardinals, definability, halting problem history Recent Talks : Kobe University (2025), Notre Dame HPS Colloquium (2025), Fudan University seminars (2025), Peking University conference (2025) Scientific Contributions : 2024 arXiv paper on halting problem attribution, ongoing work on bi-interpretation of surreal arithmetic with ZFC, analysis of transitive submodel principles Awards & Recognitions : William Reinhardt Memorial Lecture (2025), former JSPS Fellowship at Kobe University Hamkins’ work reveals deep connections between technical set theory and philosophical inquiry, particularly through his modal logic approach to potentialism and analysis of truth nonabsoluteness. His 2024 paper with Theodor Nenu re-examines Turing’s legacy, while his technical collaborations with researchers from Fudan University and Oxford advance foundational mathematics.

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.

Elmar Teuflمشاهده پروفایل

مدرس ارشد

• Random Walks on Graphs
• Combinatorics
• Probability Theory
• +۳ مورد دیگر

Elmar Teufl is a Senior Lecturer in the Department of Mathematics at Eberhard Karls Universität Tübingen. He holds a Doctorate (2002) and a Habilitation (2015) from Graz University of Technology and Tübingen University, respectively. His research focuses on random walks on graphs and groups, combinatorial problems on self-similar structures, asymptotic methods, and fractal geometry. His work bridges probability theory, combinatorics, and graph theory with applications to fractal networks and recursive systems. Teufl has held academic positions across Europe, including visiting professorships at the University of Stuttgart (2012–2013) and a Marie Curie Fellowship at Bielefeld University (2005–2006). His research has been supported by the Austrian Science Fund (FWF) and the EU. Key achievements include contributions to spanning tree enumeration on Sierpinski graphs and resistance scaling in self-similar lattices. His publications span topics like asymptotic enumeration, determinant identities for Laplacian matrices, and structural properties of nilpotent groups. He received the Austrian Mathematical Society's Studienpreis (2003) for his thesis on self-similar graphs and fractals. Teaching responsibilities include advanced courses in combinatorics and probability, with a full teaching record documented in alma.

• Theoretical Computer Science
• Logic in Computer Science
• Algorithms
• +۷ مورد دیگر

Alexandre Vigny is a junior professor at University Clermont Auvergne, France, where he conducts research at the intersection of logic, algorithms, and graph theory. His work focuses on theoretical computer science, particularly in model checking, query enumeration, and distributed algorithms on sparse graph classes. Research Interests: Theoretical Computer Science Logic in Computer Science Parameterized and Distributed Algorithms Graph Theory and Structural Sparsity Database Query Evaluation Reconfiguration Problems His recent publications explore algorithmic meta-theorems, first-order logic with connectivity, elimination distance, and distributed domination, primarily on sparse and structurally constrained graphs. His work appears in top venues such as LICS, ICALP, PODS, and JACM. Scientific Awards: No awards explicitly mentioned. Advising and Grants: Co-supervising Jona Dirks, PhD student since October 2024, with Mamadou Kanté. No specific grants mentioned, but active in collaborative research with prominent figures like Sebastian Siebertz, Luc Segoufin, and Patrice Ossona de Mendez. Labs and Teams: Previously part of Sebastian Siebertz’s team at the University of Bremen. Collaborates with researchers across Europe, including in Warsaw and Paris. Involved in the theoretical computer science community, co-organizing the PODC-DARE workshop.

Yuri B. Surisمشاهده پروفایل

استاد

• Discrete Differential Geometry
• Integrable Systems
• Mathematical Physics
• +۳ مورد دیگر

Prof. Yuri B. Suris is a distinguished academic at the Institute of Mathematics, Technical University of Berlin, specializing in integrable systems, discrete differential geometry, and mathematical physics. His research focuses on geometric discretization methods, integrable lattices, and the interplay between continuous and discrete systems. He has contributed to foundational works on pluri-Lagrangian systems, discrete Painlevé equations, and the Hirota-Kimura discretization approach. Suris has authored seminal books such as The Problem of Integrable Discretization: Hamiltonian Approach and Discrete Differential Geometry: Integrable Structure . He actively participates in editorial roles for journals like Journal of Nonlinear Mathematical Physics and coordinates large-scale projects like Methods of Integrable Systems, Geometry, and Applied Mathematics (MISGAM). His teaching spans advanced courses on mathematical physics, analysis, and geometry, alongside mentoring the Berlin Mathematical School's student circles. Suris' work bridges pure mathematics with applications in dynamical systems and numerical analysis, emphasizing geometric and algebraic structures in discrete settings.

Lukas Kühneمشاهده پروفایل

استادیار

• Combinatorics
• Algebraic Geometry
• Hyperplane Arrangements
• +۴ مورد دیگر

Lukas Kühne is an Assistant Professor (Juniorprofessor) at Bielefeld University's Faculty of Mathematics. His research focuses on the intersection of combinatorics, algebra, and geometry, with specializations in hyperplane arrangements, matroids, polytopes, and computational methods. He actively contributes to software development for combinatorial mathematics, including the Oscar module for matroids and the CountingChambers.jl package. Education: PhD from Hebrew University of Jerusalem (2017-2020), Master's from University of Bonn (2014-2017), and Bachelor's from TU Kaiserslautern (2011-2014). His work has been supported by grants such as DFG SPP 2458 and SFB-TRR 358. Research interests include experimental methods in combinatorics, geometric realizability of matroids, and applications of discrete mathematics in algebraic geometry. Recent work explores simpliciality in arrangements, cosmological polytopes, and algorithmic approaches to hyperplane arrangement properties. Teaching responsibilities include courses on Linear Algebra, Discrete Mathematics, and Finite Reflection Groups. He organizes conferences such as the 'Dive into Research: Simpliciality in Arrangements and Matroids' and has participated in international workshops on combinatorial algebraic geometry.

Stavros Garoufalidisمشاهده پروفایل

استاد

• Low-dimensional topology
• Quantum topology
• Mathematical physics
• +۷ مورد دیگر

Stavros Garoufalidis is a Professor at the Southern University of Science and Technology (SUSTech) in Shenzhen, China, and an External Scientific Member at the Max-Planck-Institute for Mathematics (MPIM) in Bonn, Germany. He holds a Hirzebruch Research Chair (2018-19) and has been a Professor at Georgia Institute of Technology (2003-2019). He earned his Ph.D. in Mathematics from the University of Chicago (1992) and has held postdoctoral positions including CLE Moore Instructor at MIT (1993-95) and Tamarkin Instructor at Brown University (1995-96). His research focuses on low-dimensional topology, quantum topology, and mathematical physics, with emphasis on knot theory, hyperbolic geometry, Chern-Simons theory, and resurgence phenomena. Key areas include colored Jones polynomials, Volume Conjecture, and connections between quantum invariants and geometric structures. Garoufalidis has collaborated with over 70 researchers and advised multiple Ph.D. students. His awards include the Bronze medal at the 1998 IMO, American Mathematical Society Centennial Fellowship (1998-2000), Simons Foundation Fellowship (2013), and Simons Guggenheim Fellowship (2012). He is affiliated with the International Center for Mathematics at SUSTech and leads research groups exploring topics like 3D-index, quantum modular forms, and topological recursion. His work bridges topology, geometry, and mathematical physics through interdisciplinary approaches.

Marc Hillerمشاهده پروفایل

استاد

• Power Electronics
• Energy Conversion
• Power Semiconductors
• +۳ مورد دیگر

Prof. Marc Hiller is a Professor of Power Electronic Systems at Karlsruhe Institute of Technology (KIT) within the Electrical Engineering Institute (ETI). He leads the Power Electronic Systems (LES) professorship, focusing on advanced converter topologies, power semiconductor characterization, and energy storage integration. His research spans topics such as high-efficiency traction drives, solid-state transformers, and grid-integrated renewable energy systems. Education & Professional Background Bachelor's and Master's in Electrical Engineering from TU Darmstadt (1993–1998) Doctorate at University of the Federal Armed Forces Munich (1999–2004), focusing on power converters for switched reluctance machines Senior roles at Siemens AG (1999–2015), including traction converter development and industrial converter project leadership Joined KIT as Full Professor in 2015 Research Interests Prof. Hiller’s work emphasizes cutting-edge power electronics applications, including: Wide-bandgap semiconductor modeling (SiC/GaN) High-efficiency energy conversion systems Modular multiport solid-state transformers Hybrid energy storage optimization Dynamic control strategies for electric drives Academic Leadership & Projects Program Director of the Master’s program Energy Engineering and Management at HECTOR School since 2018 Topic Chair for EPE ECCE Europe (since 2017) Deputy Spokesperson for Cluster 4 of the Copernicus Project ENSURE (since 2016) Labs & Teams His research group is based at KIT’s ETI institute across three campuses, collaborating on advanced power electronics hardware prototypes and grid emulation systems.

• Quantum Geometry
• Mathematical Physics
• Topological String Theory
• +۵ مورد دیگر

Prof. Alim Murad is a Professor of Quantum Geometry at the Technical University of Munich (TUM), leading the research group at the Department of Mathematics within the TUM School of Computation, Information and Technology. He previously held positions as an Associate Professor at Heriot-Watt University (Edinburgh) and led an Emmy Noether research group in Hamburg. His research focuses on quantum geometry, combining methods from complex algebraic geometry, representation theory, and number theory to study quantization and dualities in physical systems, particularly via resurgence in topological string theory and mirror symmetry. Alim completed his studies in mathematics and physics at Karlsruhe Institute of Technology, École Normale Supérieure (Paris), and Ludwig-Maximilians-Universität München (LMU), where he earned his PhD in 2009 with distinction. He held postdoctoral positions at Harvard University and the Hausdorff Center for Mathematics in Bonn. His teaching includes advanced courses on representation theory, differential topology, complex geometry, and resurgence in mathematical physics at TUM, Heriot-Watt, and Hamburg University. Notable awards include the Emmy Noether Programme (2016) and the Arnold Sommerfeld Doctoral Award (2010). Key research contributions include foundational work on BPS structures, non-perturbative topological strings, and quantum curves. His group collaborates internationally, with affiliations at the Maxwell Institute for Mathematical Sciences in Edinburgh. Current projects explore the interplay between perturbative and non-perturbative structures in quantum field theories and string theory.

Angela Gibneyمشاهده پروفایل

استاد

• Algebraic Geometry
• Vertex Operator Algebras
• Conformal Blocks
• +۲ مورد دیگر

Angela Gibney is a mathematician specializing in algebraic geometry, vertex operator algebras, and conformal field theory. Her work focuses on moduli spaces of curves and their applications to geometric representation theory. She has contributed to foundational research on conformal blocks, factorization algebras, and sheaf cohomology, often collaborating with experts in algebraic geometry and mathematical physics. Research interests include vertex algebras, conformal blocks, moduli of curves, and their connections to representation theory. Published extensively in top-tier journals such as Annales scientifiques de l'École normale supérieure, Compositio Mathematica, and Geometry & Topology. Co-developed mode transition algebras to study geometric properties of conformal blocks, linking algebraic structures to moduli space geometry. Her work bridges algebraic geometry and mathematical physics, with applications to cohomological field theories and enumerative geometry. Collaborations include advancing factorization conjectures and exploring Chern classes of conformal blocks bundles.

Raimar Wulkenhaarمشاهده پروفایل

استاد

• Non-perturbative quantum field theory
• Noncommutative geometry
• Renormalisation group
• +۳ مورد دیگر

Prof. Dr. Raimar Wulkenhaar is a Professor of Mathematics at the University of Münster's Faculty of Mathematics and Computer Science, affiliated with the Mathematical Institute. He is an investigator in the Mathematics Münster cluster and a member of CRC 1442 Geometry: Deformations and Rigidity. His research focuses on operator algebras and mathematical physics, particularly non-perturbative quantum field theories, noncommutative geometries, and renormalization. Wulkenhaar's work bridges abstract algebraic structures with physical models, such as matrix models and tensor field theories. He holds a leadership role in interdisciplinary projects, including the CRC 1442's D03 project on integrability and the Mathematics Münster focus areas T2 (moduli spaces) and T7 (field theory and randomness). His research emphasizes noncommutative quantum field theories, where he explores exact solutions and topological recursion techniques. Key collaborations include work on Kontsevich models, Calogero-Moser systems, and renormalization group methods. Recent publications highlight advancements in blobbed topological recursion, integrable systems, and stochastic quantization. Wulkenhaar frequently publishes in top journals like Communications in Mathematical Physics and Journal of Geometry and Physics . His work often intersects with algebraic geometry, combinatorics, and stochastic processes, reflecting a broad yet deep engagement with mathematical physics. He has contributed to foundational texts, including a chapter in Advances in Noncommutative Geometry , and has advised numerous collaborative research initiatives. Despite no explicitly listed awards, his prolific output and project leadership underscore his scholarly impact.

• Quantum Geometry
• Mathematical Physics
• Topological String Theory
• +۴ مورد دیگر

Prof. Murad Alim is a Professor of Quantum Geometry at the Technical University of Munich (TUM) and an Associate Professor at Heriot-Watt University, affiliated with the Maxwell Institute for Mathematical Sciences. His research focuses on quantum geometry, mathematical physics, and the interplay of perturbative/non-perturbative structures in topological string theory and supersymmetric theories. He has held positions at Harvard University, the University of Hamburg, and the University of Göttingen. Education: PhD in Mathematical Physics (LMU Munich, 2009), studies at ENS Paris and Karlsruhe University. Affiliations: TUM School of Computation, Information and Technology; Edinburgh Mathematical Physics Group. Research interests include moduli spaces, wall-crossing phenomena, and dualities in field/string theories using mirror symmetry. He has received awards such as the Emmy Noether Grant (2016) and the LMU PhD Prize (2010). Key Publications: Over 30 peer-reviewed articles, including work on BPS structures, topological strings, and mirror symmetry. Grants & Collaborations: Leadership of an Emmy Noether Group (2016-2024), collaborations with institutions like CERN and Harvard. Labs/Teams: Active in the Edinburgh Mathematical Physics Group and TUM’s quantum geometry research cluster.

• Enumerative Geometry
• Quantum Algebra/Topology/Geometry
• Topological Recursion
• +۶ مورد دیگر

Prof. Gaetan Borot is a Professor at Humboldt University of Berlin, affiliated with the Faculty of Mathematics and Natural Sciences and the Department of Pure Mathematics, Mathematical Physics . His research focuses on mathematical physics, particularly topological recursion, quantum algebra/topology, enumerative geometry, and integrability. He leads a research group exploring the interplay between theoretical physics and advanced geometric and algebraic techniques. Currently on leave until September 2025, he maintains active involvement in academic leadership and research initiatives. Research Interests: Borot’s work bridges algebraic geometry, combinatorics, and quantum field theory. He develops topological recursion techniques to address problems in random matrices, moduli spaces, and string theory. His group investigates topics like W-algebras, geometric quantization, and non-perturbative methods in gauge theories. Recent trends include applications to supersymmetric theories and Liouville conformal field theory. Academic Contributions: Borot advises PhD and master’s students on projects like Hurwitz theory, spectral networks, and geometric quantization. He collaborates on research training groups (RTGs) such as Rethinking QFT and From Geometry to Numbers , and contributes to the College of Mathematics and Physics Berlin. His outreach efforts include public lectures and exhibitions explaining complex mathematical concepts. Teaching: Borot teaches advanced courses in mathematical physics, differential geometry, and analysis. Upcoming lectures include Analysis III for Physicists and a master’s seminar on differential geometry.