Find Academic Supervisors

Katrin TentView profile

Professor

• Model theory
• Group theory
• Geometry
• +4 more

Professor Katrin Tent is a distinguished mathematician specializing in mathematical logic at the University of Münster, where she holds a professorship in the Faculty of Mathematics and Computer Science within the Institute for Mathematical Logic and Foundations Research. She is an active researcher in Mathematics Münster, an investigator in CRC 1442 Geometry: Deformations and Rigidity, and contributes to multiple research projects including Topics in Mathematics Münster T3: Models and universes, T4: Groups and actions, and T8: Random discrete structures and their limits. PhD in Linguistics, Christian-Albrechts-Universität zu Kiel (1988) Diplom in Mathematics, Christian-Albrechts-Universität zu Kiel (1989) PhD in Mathematics, University of Notre Dame (1994) Habilitation, "Model theory of groups and BN-pairs" (2000) Professor Tent's research bridges model theory, group theory, and geometry, with particular focus on finite Morley rank structures, BN-pairs, and sharply multiply transitive groups. Her work often combines methods from these areas to prove unexpected results, either constructing groups or incidence geometries with surprising model theoretic properties or using model theory to construct new and interesting geometries or groups. Her recent publications reveal a consistent trajectory connecting model theory with group-theoretic structures. She has made significant contributions to understanding sharply 2- and 3-transitive groups, finite Morley rank geometries, and the model theory of generalized polygons. Her work demonstrates how model-theoretic techniques can solve deep problems in group theory and geometry, particularly through the study of BN-pairs and incidence structures. DFG Research Fellowship (1996-1998) Bayerischer Habilitationsförderpreis (1998-2001) Heisenberg-Stipendium (2001-2004) ERC Consolidator Grants expert panel (2016, 2018) Elected to DFG Senate (2019) Professor Tent leads an active research group with current members including Marco Amelio, Dr. Benjamin Brück, Anna Cascioli, Lukas Jonuska, Silke Meissner, Zahra Mohammadi Khangheshlaghi, and Dr. Sam Shepherd. Her former research group members include Dr. Simon Andre, Dr. Isabel Müller, and Dr. Tim Clausen, among others. Her supervisory work spans both theoretical foundations and specific applications in geometric group theory and model theory. Her research group operates within the Institute for Mathematical Logic and Foundations Research at the University of Münster, collaborating closely with other researchers in the Mathematics Münster cluster. The group participates in various projects including CRC 1442 - C04: Group theoretic aspects of negative curvature, contributing to the vibrant mathematical research environment at one of Germany's leading mathematics institutions.

• Algorithms and Complexity
• Logic
• Database Theory
• +2 more

Martin Grohe is a Professor at the School of Logic and Theory of Discrete Systems , part of the Department of Computer Science at RWTH Aachen University . His research spans Algorithms and Complexity , Logic , Database Theory , Graph Theory , and Machine Learning , with a focus on integrating logical frameworks into computational models. His recent work explores graph neural networks , Weisfeiler-Leman algorithms , and parameterized complexity , as seen in publications on isomorphism testing , database repairing , and probabilistic query evaluation . While no specific scientific awards are mentioned, his contributions to graph theory and machine learning are widely recognized through numerous peer-reviewed publications.

Manuel PenschuckView profile

Research Fellow

• Algorithm Engineering
• Random Graphs
• Parallel and Distributed Computing
• +3 more

Manuel Penschuck is a Research Fellow at the Institute of Computer Science , Goethe University Frankfurt, Germany. His research focuses on algorithm engineering, graph theory, and scalable network generation, with emphasis on parallel computing, I/O-efficient algorithms, and random graph models. He actively contributes to conferences like ESA, SEA, and IPDPS, and has co-authored publications in top venues including LIPIcs , IEEE Transactions , and SIAM . His work includes engineering algorithms for non-linear preferential attachment , parallel shuffling , and hyperbolic graph generation . He has co-organized program committees for ESA, EuroPar, and SEA, and his collaborations span institutions such as MPI-INF, TU Darmstadt, and Australian National University. Recent publications highlight advances in uniform graph sampling, geometric network models, and distributed systems. His research integrates theoretical rigor with practical implementation, addressing challenges in big data and high-performance computing. He is a key contributor to the Networkit toolkit for large-scale network analysis.

• Topology
• Algebraic Topology
• K-Theory
• +5 more

Wolfgang Lück is a Professor of Mathematics at the University of Bonn, affiliated with the Hausdorff Center for Mathematics (HCM) and the Hausdorff Research Institute for Mathematics (HIM). He holds a Max Planck Fellowship at the Max Planck Institute for Mathematics (MPIM) and served as HCM spokesperson from 2019–2022. His research focuses on topology, particularly topological invariants, K- and L-theory, and geometric group theory. He has pioneered work on the Farrell-Jones conjecture and L²-invariants, earning prestigious awards like the Leibniz Prize (2008) and ERC Advanced Grant (2015). Education: Studied mathematics in Göttingen (BSc 1981, PhD 1984), habilitation (1989) Prior roles: Full professor at Mainz (1991–1996), Münster (1996–2010), and spokesperson for the SFB “Geometry, Groups & Actions” His research interests span manifold classification, surgery theory, and algebraic K-theory. Over 50 publications since 2013 alone demonstrate his prolific contributions. Awards include membership in the German Academy of Sciences (2010) and North Rhine-Westphalian Academy (2013). Grants: ERC Advanced Grant (2015), Max Planck Research Prize (2003) Leadership: Directed HIM (2011–2017), led collaborative research initiatives

Arthur BartelsView profile

Professor

• Topology
• Geometric Topology
• Algebraic K-Theory
• +12 more

Arthur Bartels is a Professor at the Mathematical Institute, Department of Mathematics and Computer Science, University of Münster. He is a principal investigator in the CRC 1442 'Geometry: Deformations and Rigidity' and a key member of the Excellence Cluster 'Mathematics Münster', focusing on fundamental problems in topology and geometry. Research Interests: His work centers on topology , particularly algebraic K-theory , L-theory , and the Farrell-Jones conjecture . He investigates geometric rigidity , coarse geometry , and conformal field theory through operator algebras and higher categories. His research connects deep questions in group theory, manifold topology, and mathematical physics. Publication Trends: His recent work (2017–2022) shows a strong focus on conformal nets and higher categorical structures in quantum field theory, while continuing foundational work on isomorphism conjectures for K- and L-theory in geometric group theory. The articles reflect a dual expertise in abstract homotopy theory and concrete geometric analysis. Scientific Awards: No specific awards mentioned in the provided text. Advising and Grants: While no students are listed, he leads major research projects funded by the DFG, including CRC 1442 - C03 'K-theory of group algebras' and EXC 2044 - B2 'Topology'. These projects involve developing tools in index theory, surgery theory, and coarse geometry to study manifolds and group rings. Labs and Teams: He leads the 'AG Topologie' (Topology Research Group) at Münster and co-organizes the 'Advanced Seminar Topology' with colleagues. He is part of a large collaborative environment within Mathematics Münster, working closely with experts in analysis, geometry, and mathematical physics.

Torsten UeckerdtView profile

Professor

• Graph Theory
• Geometric Graph Theory
• Discrete Mathematics
• +8 more

Torsten Ueckerdt is an Interim Professor in the Algorithmics I group at the Institute of Theoretical Informatics, Karlsruher Institut für Technologie (KIT). He has held academic positions since 2012, including postdoctoral roles and habilitation in Discrete Mathematics. His research focuses on combinatorial objects like graphs, posets, and hypergraphs in geometric settings, exploring structural properties, colorings, and geometric representations. Holds a PhD from TU Berlin (2011) and habilitation from KIT (2017). Professional service includes editorial roles (Annals of Combinatorics) and program committees for conferences like Graph Drawing, SoCG, and EuroCG. Supervised numerous students across Bachelor's, Master's, and diploma theses. Research interests span structural graph theory, geometric graph theory, Ramsey theory, discrete geometry, and combinatorial games. Active in graph drawing and algorithm design, with contributions to queue layouts, graph representations, and optimization problems like cartograms and wind farm cabling.

Samir DattaView profile

Professor

• Theoretical Computer Science
• Computational Complexity Theory
• Bounded Space Complexity
• +9 more

Samir Datta is a Professor at the Chennai Mathematical Institute, where he conducts research in Theoretical Computer Science with a focus on Computational Complexity Theory. His work spans foundational graph problems, circuit complexity, and interdisciplinary applications in logic and numerical analysis. His research interests include: Bounded space complexity in restricted graph classes (planar graphs, bounded tree-width, H-minor free graphs) Reachability, graph isomorphism, matching, and Steiner Tree problems Characterizations and properties of arithmetic circuits Complexity aspects of game theory, proof theory, and numerical analysis His publications reflect a deep engagement with structural complexity and algorithmic graph theory. While specific titles are referenced, a detailed list is not provided in the source text. He has advised both current and past students, though their names are not listed. No scientific awards are mentioned in the available information. He is actively involved in research and academic mentoring at CMI, with no indication of part-time status, retirement, or former affiliation.

• Graph Theory
• Operations Research
• Discrete Mathematics
• +3 more

Dr. Maximilian Fürst is a researcher at the Institute of Optimization and Operations Research of the University of Ulm , focusing on graph theory, discrete mathematics, and algorithmic complexity. His work primarily investigates matching problems in graphs, including uniquely restricted matchings, induced matchings, and acyclic matchings, with applications in theoretical computer science and optimization. Research Interests: Graph Theory (matching theory, subcubic graphs, cycle-free graphs) Operations Research (approximation algorithms, linear programming) Computational Complexity (NP-hardness, graph invariants) Discrete Mathematics (combinatorics, degree sequences) Trends in Recent Publications: His publications emphasize theoretical analysis of graph problems, particularly matching-related algorithms and bounds. Key areas include hardness proofs, approximation methods, and extremal graph theory, with collaborations across European institutions. Teaching: He has taught courses such as Optimization and OR 2 and Graph Theory 2 at the University of Ulm since 2017. Collaborations: Regularly works with colleagues like Dr. Julien Baste, Prof. Dieter Rautenbach, and Prof. Michael A. Henning on graph theory and optimization challenges.

• Automata Theory
• Concurrency Theory
• Formal Verification
• +1 more

Slawek Lasota is a Professor at the Automata Theory Group within the Faculty of Mathematics, Informatics and Mechanics, University of Warsaw. His research focuses on automata theory, concurrency theory, formal verification, and systems biology, with a strong emphasis on computational complexity and algorithmic analysis of systems with infinite-state spaces. Research Interests : Automata theory (infinite alphabets, nominal sets), concurrency theory (timed automata, vector addition systems), formal verification (reachability problems, model checking), systems biology (computational models of biological systems). Grants : Coordinator of NCN grants on data-enriched models and automatic analysis of concurrent systems; participant in ERC projects Lipa and FOX . Community Service : Managing editor of Fundamenta Informaticae (2018-), member of EATCS Council (2019-), and Rada Doskonalosci Naukowej (2019-). His work has received recognition including the STOC'19 Best Paper Award and EATCS BEST ETAPS PAPER AWARD . He supervises PhD students in topics ranging from Petri nets to timed automata and has contributed extensively to advancing verification techniques for systems with data, timed models, and concurrency.

• Molecular Biology
• Neurobiology
• Machine Learning
• +2 more

Prof. Frank Müller is a Universitätsprofessor at Forschungszentrum Jülich GmbH , leading the Molecular Sensory and Neurobiology research group. His work bridges computational methods and biological systems. Research focuses on: Graph-based machine learning for biological networks Transformer architectures for molecular data Computational approaches to sensory neuroscience Parameter-efficient models for multi-task learning Key article trends show expertise in graph transformers , molecular foundation models , and multi-agent reasoning systems . No awards explicitly mentioned. Current affiliation: IBI (Institute of Biological Information Processing), Forschungszentrum Jülich

• Algebraic Combinatorics
• Representation Theory
• Geometric Group Theory
• +4 more

Dr. Georges Neaime is a Research Fellow at Ruhr University Bochum's Faculty of Mathematics with additional affiliations at the University of Bielefeld. He holds a Ph.D. from the University of Caen and specializes in algebraic combinatorics and geometric group theory. Research Focus: Reflection groups and their braid groups including Coxeter/Artin-Tits groups Interval Garside theory and combinatorial techniques Krammer representations and linearity of complex braid groups Representation theory of Hecke/BMW algebras His publications demonstrate consistent focus on group-theoretic structures with recent work on elliptic Artin monoids and Coxeter group applications. Research integrates combinatorial methods with geometric approaches to solve algebraic problems.

V. ArvindView profile

Professor

• Computational Complexity Theory
• Structural Complexity
• Randomized Computation
• +5 more

V. Arvind is a Professor in the Theoretical Computer Science faculty at the Institute of Mathematical Sciences (IMSc) , Chennai. His research is centered on computational complexity theory, with a focus on structural complexity, randomized and algebraic computation, and quantum information and computation. He explores the deep connections between theoretical computer science and mathematics. Institution: Institute of Mathematical Sciences (IMSc), Chennai School: Theoretical Computer Science Academic Rank: Professor Arvind's research interests include computational complexity, structural complexity theory, algebraic computation, derandomization, and quantum computing. He is particularly interested in the interplay between mathematical structures and computation. His work often bridges theoretical computer science with algebra, combinatorics, and logic. His recent publications, primarily expository articles in the EATCS Bulletin’s Computational Complexity Column, cover a wide range of topics such as robust oracle machines, the Alon-Roichman theorem, noncommutative arithmetic circuits, graph isomorphism, and quantum computation. These works reflect trends in foundational complexity theory, algebraic methods in computation, and the exploration of quantum models. The articles emphasize structural insights, lower bounds, and connections to mathematical disciplines. Professional Service and Editorial Roles: Associate Editor, ACM Transactions on Computation Theory Editor, EATCS Computational Complexity Column (since June 2011) Editorial Board Member, International Journal of Computer Mathematics (2009–2013) Co-organizer, ICM Satellite Conference on Algebraic and Probabilistic Aspects of Combinatorics and Computing Program Committee Member for WALCOM 2014, STACS 2012, COCOON 2009, FSTTCS (multiple years, including chair roles), CCC 2006, INDOCRYPT (2002, 2005), and others Teaching: Arvind has taught advanced courses including Computational Complexity, Algorithms, Algebra and Computation, and Discrete Mathematics, often based on foundational texts and notes from leading experts. Lecture notes from his courses have been compiled by students and collaborators. Collaborations: He has an extensive list of co-authors, including prominent researchers such as Manindra Agrawal, Eric Allender, Johannes Köbler, Meena Mahajan, Jacobo Torán, and Ramprasad Saptharishi, indicating strong collaborative research networks in complexity theory and algorithms.

• Discrete Optimization
• Quantum Computing Applications in Optimization
• Bayesian Optimization
• +3 more

Dr. Alexey Bochkarev is a researcher in the Optimization Department at the Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau (RPTU), affiliated with the Felix Klein Center. His work focuses on discrete optimization, quantum computing applications, and network security. Current affiliation: RPTU, Optimization Department Contact: Building 31, Room 455, Paul Ehrlich Street, 67663 Kaiserslautern | a.bochkarev@math.rptu.de Research Interests Quantum computing for combinatorial optimization Monte Carlo tree search in adversarial network scenarios BDD-based representations for facility location problems Dynamic optimization under uncertainty Recent Publications His 2024 publications highlight quantum computing advancements and Monte Carlo methods for interdiction problems, while earlier works explore BDD alignment in network optimization. Key trends include hybrid quantum-classical algorithms and stochastic search frameworks for infrastructure protection.

Vincent GuirardelView profile

Researcher

• Geometric Group Theory
• Hyperbolic Geometry
• Group Actions on Trees
• +3 more

Vincent Guirardel is a Researcher at the Rennes Institute for Research in Mathematics (IRMAR) within the University of Rennes 1. He specializes in Geometric Group Theory, focusing on hyperbolic groups, group actions on trees, and JSJ decompositions. His research explores topics such as boundary amenability, automorphism groups, and the interplay between algebraic structures and geometric properties. Teaching responsibilities include the 'Mathematical Tools 2' course (OM2) for first-year students, emphasizing Markov chains, martingales, and linear algebra. He has developed course materials, tutorials, and organized workshops like 'Maths in jeans.' Distance learning resources, including video lectures and problem sets, are hosted on Moodle. Key research contributions include studies on hyperbolically embedded subgroups, rotating families in hyperbolic spaces, and the isomorphism problem for hyperbolic groups. His work often involves collaborations with leading mathematicians like Mladen Bestvina and Gilbert Levitt. Publications span over two decades, with notable contributions to Annals of Mathematics, Geometry & Topology, and Memoirs of the AMS. Recent preprints address boundary amenability of Out(Fₙ) and vastness properties of automorphism groups of RAAGs. His academic activities include advising on curriculum design and maintaining an active presence in geometric group theory through conferences, workshops, and editorial work.

• 3D Shape Analysis
• Graph-Based Machine Learning
• Computer Vision
• +4 more

Andrea Torsello is a researcher at the University of York, specializing in 3D shape analysis, graph-based machine learning, and quantum computing applications in computer vision. His work bridges theoretical and applied domains, focusing on pattern recognition, network thermodynamics, and remote sensing. PhD from University of York (2004) Published extensively in journals like IEEE Transactions and Pattern Recognition Research interests include: Quantum-inspired graph analysis 3D reconstruction techniques Manifold learning for complex networks Thermodynamic modeling of time-evolving systems Key contributions involve: Quantum walk-based graph similarity measures k-Anonymity for graph data Physics-driven CNN models for ocean wave reconstruction Game-theoretic approaches to shape matching