جستجوی استاد راهنمای دانشگاهی

Nate Fosterمشاهده پروفایل

استاد

• Programming Languages
• Networking
• Databases
• +۵ مورد دیگر

Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.

Assia Mahboubiمشاهده پروفایل

پژوهشگر

• Type Theory
• Formal Verification
• Computer-Aided Mathematics
• +۳ مورد دیگر

Assia Mahboubi is a tenured researcher ( directrice de recherche ) at INRIA in the Gallinette team, Nantes, France, and an endowed professor in the Algebra and Number Theory section of the Vrije Universiteit Amsterdam, Netherlands. Her work bridges theoretical computer science and formal mathematics, with significant contributions to proof assistants and formal verification. Her research focuses on the foundations and formalization of mathematics in type theory, particularly on the automated verification of mathematical proofs. She explores the interplay between computer algebra and formal proofs, and is a key contributor to the Rocq prover (formerly Coq) and the Mathematical Components libraries. Her work often examines how familiar mathematical objects can be optimally represented for computer-aided proof checking. Recent publications show a strong trend toward categorical reasoning, diagram chasing, and continuity properties in constructive type theory, with increasing focus on practical applications of formal methods in computational mathematics. Her work demonstrates the maturation of formal verification techniques from theoretical foundations to practical tools for mathematical research. ERC Consolidator grant for the FRESCO (Fast and Reliable Symbolic Computation) project Mahboubi actively supervises doctoral students including Vojtěch Štěpančík, Tomás Vallejos Parada, and Alain Chavarri Villarello. She has received significant research funding through her ERC Consolidator grant for the FRESCO project, which aims to develop fast and reliable symbolic computation techniques. She is deeply involved in the international research community, serving on program committees for major conferences including POPL, CPP, and ICFP. She leads research in the Gallinette team at INRIA, which focuses on the intersection of proof assistants, programming languages, and formal mathematics. Her work has helped establish formal verification as a practical tool for mathematical research, moving beyond theoretical foundations to real applications in computational mathematics.

Eva Viehmannمشاهده پروفایل

استاد

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

Prof. Dr. Eva Viehmann is a leading mathematician at the University of Münster within the Faculty of Mathematics and Computer Science and a key figure in the Mathematics Münster cluster. She was awarded the prestigious Gottfried Wilhelm Leibniz Prize 2024 for her groundbreaking work in arithmetic algebraic geometry and representation theory within the Langlands program . University: University of Münster Department: Mathematical Institute Her research focuses on the intersection of algebra , geometry , and analysis , particularly through the lens of Shimura varieties and moduli spaces of local G-shtukas . She has pioneered the study of affine Deligne-Lusztig varieties in equal and mixed characteristics, advancing understanding of their dimension , connectedness , and irreducible components . Recent publications highlight her work on Newton stratification , Harder-Narasimhan theory , and p-adic moduli spaces . Her scientific advisory contributions include mentoring former doctoral student Stefania Trentin and collaborating with Prof. Urs Hartl over 15 years. Awards and honors include the Leibniz Prize 2024 , reflecting her status as a trailblazer in arithmetic geometry and p-adic geometry . Her research projects span the CRC 1442 and EXC 2044 , aiming to unify Galois representations , automorphic forms , and geometric methods .

• Scientific Machine Learning
• Numerical Linear Algebra
• Numerical Multilinear Algebra
• +۷ مورد دیگر

Peter Benner is a Professor and Director at the Max Planck Institute for Dynamics of Complex Technical Systems in Magdeburg, where he leads the Computational Methods in Systems and Control Theory group. He also holds an Honorarprofessor position for Mathematics at Otto-von-Guericke Universität Magdeburg since 2011. Benner has previously served as Managing Director of the Max Planck Institute during multiple periods (2013-2014, 2021-2022, and 2025-2026), demonstrating his leadership in the field. Benner's research focuses on Scientific Machine Learning, Numerical Linear and Multilinear Algebra, Model Order Reduction and Reduced-order Modeling, Numerical Methods in Systems and Control Theory, PDE Constrained Optimization, High-performance and Power-aware Computing, and Mathematical Software development. His work bridges theoretical mathematics with practical engineering applications, particularly addressing challenges in large-scale dynamical systems. Analysis of his recent publications reveals a strong emphasis on developing efficient computational methods for complex systems. Benner has pioneered approaches combining model order reduction with tensor methods to tackle high-dimensional problems in uncertainty quantification and PDE-constrained optimization. His work shows a consistent trend toward integrating data-driven techniques with traditional model-based approaches, particularly for nonlinear and parametric systems. Throughout his career, Benner has actively mentored students and collaborated with researchers worldwide, delivering numerous invited talks at prestigious institutions and conferences across Europe, North America, and Asia. His research has received significant funding, supporting the development of mathematical software and computational methods for industrial applications. Benner leads the Computational Methods in Systems and Control Theory department at the Max Planck Institute, which focuses on developing and implementing advanced numerical methods for large-scale dynamical systems. The group maintains strong connections with both theoretical mathematics and practical engineering applications, particularly in fluid dynamics, energy systems, and control theory.

Igors Gorbovickisمشاهده پروفایل

دانشیار

• Dynamical Systems
• Complex Analysis
• Discrete Geometry
• +۳ مورد دیگر

Prof. Igors Gorbovickis is an Associate Professor of Mathematics at the Department of Mathematics, School of Computer Science and Engineering, Constructor University (formerly Jacobs University Bremen). His research focuses on complex dynamical systems, including topics such as renormalization theory, bifurcation analysis, Julia sets, and applications to mathematical physics. He also contributes to discrete geometry, particularly exploring conjectures like the Kneser-Poulsen problem. His work bridges pure mathematics with interdisciplinary applications, emphasizing rigorous analysis of nonlinear systems and geometric configurations. Key areas of investigation include critical point accumulations, Hausdorff dimension estimates, and equidistribution phenomena in parameter spaces. Recent publications highlight advancements in understanding chaotic systems, circle maps, and the interplay between algebraic structures and dynamical behavior. Prof. Gorbovickis collaborates internationally, with co-authored papers appearing in journals like Advances in Mathematics , Ergodic Theory and Dynamical Systems , and Nonlinearity . His office is located at Research I, Room 128 on the Constructor University campus in Bremen, Germany.

Anders Rantzerمشاهده پروفایل

استاد

• Control Systems Theory
• Scalable Control
• Adaptive Control
• +۷ مورد دیگر

Anders Rantzer is a Professor of Automatic Control at the Department of Control Engineering, Faculty of Engineering, Lund University, Sweden. He has held visiting positions at Caltech (2004–2005) and the University of Minnesota (2015–2016) as the Taylor Family Distinguished Visiting Professor. His academic journey began with a PhD from KTH Stockholm in 1991, followed by a postdoc at the Institute for Mathematics and its Applications (IMA), University of Minnesota. His research interests center on modeling, analysis, and synthesis of control systems , with a strong focus on scalability, adaptation, and applications in energy networks . He is particularly known for foundational work in positive systems and integral quadratic constraints (IQCs) . These theoretical frameworks are critical in analyzing stability and robustness of large-scale interconnected systems. His work bridges mathematical rigor with practical engineering applications, especially in sustainable energy and networked systems. The recent publications and lecture materials reflect a consistent trajectory in scalable and robust control, optimization, and distributed systems. Themes such as large-scale convex optimization , nonlinear and stochastic control , and network dynamics dominate his scholarly output, indicating a sustained commitment to advancing control theory for complex, real-world systems. Scientific honors include: Fellow of IEEE Member of the Royal Swedish Academy of Engineering Sciences (IVA) Chairman of the Swedish Scientific Council for Natural and Engineering Sciences Chairman of the Royal Physiographic Society of Lund Rantzer has supervised numerous students and contributed extensively to academic leadership and education. He has been involved in major national and international research initiatives such as WASP (Wallenberg AI, Autonomous Systems and Software Program) and ELLIIT. His work includes developing educational tools and courses in control, optimization, and machine learning. He leads and contributes to research projects on autonomous systems, cloud control, and smart energy networks. He is affiliated with the Control Lab at LTH and participates in collaborative efforts such as the Nordic University Hub on Industrial Internet of Things (HI2OT). His work integrates theoretical advances with practical implementations in robotics, biomedical systems, and industrial automation.

Franziska Jahnkeمشاهده پروفایل

استاد

• Model Theory
• Set Theory
• Algebra
• +۳ مورد دیگر

Prof. Dr. Franziska Jahnke is a Professor in the Faculty of Mathematics and Computer Science at the University of Münster, affiliated with the Institute for Mathematical Logic and Foundational Research. She specializes in model theory and its applications to algebra, particularly valued fields, set theory, and arithmetic definability. Her research bridges foundational mathematics and algebraic structures, with a focus on henselian valuations, NIP fields, and combinatorial aspects of valued fields. Education: Diplom in Mathematics from Albert-Ludwigs-Universität Freiburg (2009), DPhil in Mathematics from the University of Oxford (2013). Academic roles include Junior Professor at Münster (2017–2024), and a visiting position at the University of Amsterdam (2023–2024). Research Interests: Model theory of fields, arithmetic definability of valuations, perfectoid fields, and connections to infinite combinatorics. Key contributions include work on Ax-Kochen-Ershov principles, NIP fields, and classification conjectures in strongly dependent fields. Recent Activities: Organized workshops on non-archimedean geometry and model theory of valued fields. Recipient of the Teaching Prize 2022 and a fellow of the Daimler und Benz Stiftung. Deputy Equal Opportunity Representative in her department. Supervision: Advised multiple PhD students (e.g., Blaise Boissonneau, Simone Ramello) and postdocs. Taught courses on algebra, logic, and model theory, including lectures on valued fields and stability theory.

Mathias Drtonمشاهده پروفایل

استاد

• Graphical models
• Algebraic statistics
• Causal inference
• +۳ مورد دیگر

Prof. Mathias Drton holds the Chair of Mathematical Statistics at the Technical University of Munich (TUM), within the Department of Mathematics and School of Computation, Information and Technology. His research focuses on graphical models, algebraic statistics, causal inference, and multivariate data analysis. He has authored numerous publications in top-tier journals and conferences, including work on conditional independence, sparse factor analysis, and causal discovery in linear models. Drton has supervised a large number of theses, mentoring students in areas like high-dimensional statistics, graphical models, and causal inference. He is actively involved in teaching advanced courses such as 'Graphical Models in Statistics' and 'Fundamentals of Mathematical Statistics.' His academic contributions span theoretical developments in statistical methodology and computational tools, including R packages like SEMID and symRC . Drton collaborates internationally, contributing to projects like the TUM-ICL Mathematical Sciences Hub and Exzellenzcluster MCQST. His work bridges algebraic methods with statistical challenges, addressing identifiability in latent variable models and robust graphical modeling under non-Gaussian assumptions. Recent research emphasizes causal structure learning under partial homoscedasticity, distribution-free independence tests, and multi-domain causal representation learning. Drton’s lab actively explores applications in genomics, epidemiology, and machine learning, leveraging both theoretical rigor and practical computational methods.

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

استاد

• Interactive Visual Analysis
• Medical Visualization
• Scientific Visualization
• +۴ مورد دیگر

Prof. Dr.-Ing. Lars Linsen is a full Professor of Computer Science at the Westfälische Wilhelms-Universität (WWU) Münster, leading the VISualization & graphIX (VISIX) group. His primary affiliation is the Institute of Computer Science within the Faculty of Mathematics and Computer Science. He holds adjunct professorships at Jacobs University, Bremen, and has held previous academic roles including Full Professor at Jacobs University (2012–2017) and Associate/Assistant Professor roles in Germany and the U.S. His research focuses on interactive visual analysis, medical visualization, and scientific visualization, with applications in life sciences and engineering. Education: PhD (Dr.-Ing.) in Computer Science from Universität Karlsruhe (2001), M.Sc. (Diplom) in Computer Science (1997), B.Sc. (Vordiplom) in Computer Science (1994). Awards: IEEE Visualization Design Contest Winner (2008, 2022, 2018), Preis des Fördervereins des Forschungszentrum Informatik (2002). Research Highlights: Develops visualization tools for medical imaging (e.g., mass spectrometry imaging, MRI data analysis) and physical simulations (e.g., wildfire spread analysis, asteroid impact modeling). Active in EU-funded projects like Pig-Pro-QuO (surface coatings) and cells-in-motion initiatives. Supervised over 20 PhD/MS advisees, including notable graduates in medical visualization and simulation ensemble analysis. Publications: Over 100 peer-reviewed articles in top venues like IEEE Transactions on Visualization and Computer Graphics, Computers & Graphics, and EuroVis. Key works include SciVis contest-winning wildfire analysis frameworks and medical visualization tools for stenosis detection. Teaching: Offers courses on visualization, computer graphics, and computational science. Actively involved in thesis supervision and curriculum development at both WWU Münster and Jacobs University. Grants & Collaborations: Principal investigator on DFG-funded projects (e.g., hemodynamics simulations, ensemble visualization) and industry collaborations (e.g., Tascon GmbH for coating quality analysis). Member of the Cells-in-Motion Interfaculty Centre and CDH board at WWU.

Manfred Drosteمشاهده پروفایل

استاد

• Theoretical Computer Science
• Automata Theory
• Logic
• +۶ مورد دیگر

Manfred Droste is a Professor at the Institute of Computer Science of the University of Leipzig, where he leads the Research Group on Automata and Formal Languages. He serves as Director of the Graduate Centre Mathematics, Computer Science and Natural Sciences and is Vice-speaker of the DFG-Research Training Group Quantitative Logics and Automata. His academic career spans decades of research and leadership in theoretical computer science and algebra. Prof. Droste's research focuses on theoretical computer science, particularly automata theory, logic, algebraic models for concurrent systems, and domain theory. In algebra, his interests include model theory, automorphism groups, and ordered algebraic structures. His work bridges theoretical foundations with practical applications in formal language theory and quantitative systems. His extensive publication record demonstrates a consistent focus on weighted automata, formal languages, and their logical characterizations. Over the years, his research has evolved to address increasingly complex quantitative models, with recent work focusing on weighted complexity classes, weighted linear dynamic logic, and decidability boundaries for weighted automata. Prof. Droste has received significant recognition including election to Academia Europaea, an honorary doctorate from Immanuel Kant Baltic Federal University, and fellowship in the Asia-Pacific Artificial Intelligence Association. These honors reflect his substantial contributions to theoretical computer science. He has supervised numerous PhD students including Dietrich Kuske, Paolo Boldi, and Karin Quaas, many of whom have become prominent researchers. His extensive grant portfolio includes multiple DFG projects on weighted automata and international collaborations through DAAD funding. Prof. Droste leads a vibrant research team including Andrea Hesse, Karin Quaas, Erik Paul, and others. He has organized the international workshop series "Weighted Automata: Theory and Applications" since 2002, fostering global collaboration in this specialized field.

Katrin Tentمشاهده پروفایل

استاد

• Model theory
• Group theory
• Geometry
• +۴ مورد دیگر

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.

Johanna Heitzerمشاهده پروفایل

استاد

• Mathematics Education
• Teacher Training and Professional Development
• Curriculum Development
• +۷ مورد دیگر

Prof. Dr. Johanna Heitzer is a University Professor for Mathematics Education at RWTH Aachen University since 2011. She leads the Teaching and Research Area of Mathematics Education within the university's mathematics department. Her office is located in Room 352 of the Kreuzherrenstraße 2 building in Aachen. She serves as co-editor of the journal 'mathematik lehren,' co-author of the 'Mathematics - New Ways' textbook series, and holds numerous committee positions including membership in the Faculty Advisory Board and Structural Commission of the Center Council. 1989: High school diploma 1989-1994: Mathematics and Physics Teacher Training at RWTH Aachen 1994-1996: Traineeship at Aachen Teacher Training College 1997: Research assistant at University of Münster 1998-2007: Mathematics and Physics teacher at Korschenbroich Gymnasium 2007-2010: Scientific assistant and doctorate at RWTH Aachen 2011-present: University Professor at RWTH Aachen Professor Heitzer's research focuses on the training and further education of mathematics teachers, development of contemporary teaching materials, applied and interdisciplinary mathematics, and the transition from school to university. Her work emphasizes concept formation, linguistic communication in mathematics, and the historical development of mathematical ideas as teaching resources. She investigates mathematics-specific learning and cognitive processes through multiple research projects including the Aachen school-university project iMPACt. Her recent scholarly output demonstrates a strong trend toward integrating digital technologies in mathematics education, particularly 3D printing and e-learning tools. She has increasingly focused on the social relevance of mathematics, exploring concepts of fairness, sustainability, and citizen empowerment through mathematical modeling. Her work bridges theoretical mathematics education with practical classroom applications, maintaining a strong connection to both historical perspectives and contemporary educational challenges. Special prize from Sparkasse Bad Hersfeld-Rotenburg for best mathematics Abitur (1989) Borchers Plaque for doctoral examinations passed with distinction (2011) DMV honor as Mathemaker of the Month (2013) Brigitte Gilles Prize 2013 for the MINT-L4 Center Professor Heitzer has supervised numerous doctoral students, serving as primary or secondary advisor for at least nine PhD dissertations between 2016-2021. Her research projects include the School-University Project MathePlus Aachen (iMPACt), e-Learning 'Mathematics for Civil Engineers,' and the development of mathematics items for StudiChecks NRW. She has secured funding through the Quality Initiative for Teacher Education (both phases) and participates in the ComeIn project focused on digitalization in teacher training. Her grants consistently emphasize practical applications of mathematics education research with direct impact on classroom practice. As a founding member of the MINT-L4@RWTH center and initiator of the working group Mathematical Education for Sustainable Development, Professor Heitzer has established significant collaborative structures. She participates in the Subject Didactics Forum at the Teacher Training Center of RWTH Aachen and has served in leadership roles including Chair of the Center Council (2014-2016) and Board member of the Teacher Training Center (2014-2017). Her work connects with national and international networks through her membership in the Society for Mathematics Education (GDM), the German Association for Mathematics and Science Education (MNU), and the German Mathematical Society (DMV).

Hans-Bert Rademacherمشاهده پروفایل

استاد

• Differential Geometry
• Pseudo-Riemannian Geometry
• Finsler Geometry
• +۷ مورد دیگر

Hans-Bert Rademacher is a Professor of Differential Geometry at the University of Leipzig's Faculty of Mathematics and Computer Science, where he has held the chair since 1995. He completed his Habilitation in 1991 and earned his PhD (Dr.rer.nat., summa cum laude) in 1986 from Universität Bonn, following a Diploma in Mathematics (1983) from the same institution. Research Interests: His work focuses on differential geometry, including pseudo-Riemannian geometry, Finsler geometry, conformal geometry, Dirac operators and twistor spinors, Morse theory and closed geodesics, topology of free loop spaces, and discrete curve shortening. His research bridges geometric analysis and topology, particularly in the study of geodesic systems and curvature properties. Publication Trends: Recent articles center on closed geodesics in various geometric settings (spheres, Finsler manifolds, 3-manifolds), solitons in geometric flows, homology of loop spaces, and conformal geometry. His work frequently applies Morse theory to solve problems in global analysis and topology. Awards and Honors: University Medal (2021) Full Member, Saxon Academy of Sciences and Humanities (since 2010) Heisenberg Fellowship (1992-1995) Felix Hausdorff Memorial Prize (1985) National Mathematics Competition Winner (1978) Academic Service: He has supervised 12 PhD students and served as Dean (2011-2014) and Vice-Dean (2005-2008) of his faculty. He coordinated the Research Training Group "Analysis, Geometry and their interaction with the sciences" (2000-2010) and serves on editorial boards for several mathematics journals.

Peter Schneiderمشاهده پروفایل

استاد

• Arithmetic geometry
• Representation theory
• Cohomology theories
• +۷ مورد دیگر

Prof. Dr. Peter Schneider is a faculty member at the University of Münster, affiliated with the Faculty of Mathematics and Computer Science and the Department of Mathematics and Computer Science . He is a principal investigator in the CRC 1442 Geometry: Deformations and Rigidity and contributes to the Mathematics Münster cluster. University: University of Münster School: Faculty of Mathematics and Computer Science Department: Department of Mathematics and Computer Science Academic Rank: Professor His research focuses on arithmetic geometry and representation theory , particularly the p-adic Langlands program , cohomology theories in mixed characteristics, and noncommutative algebraic structures. He investigates derived categories of p-adic representations, moduli spaces of Galois representations, and geometric approaches to automorphic forms. He has supervised numerous students, including Torsten Schoeneberg (2009), Marten Bornmann (2009), and Marius Kley (2016, 2019). His collaborative works with Rachel Ollivier, Otmar Venjakob, and Marie-France Vigneras explore modular Hecke algebras, Iwasawa theory, and (phi, Gamma)-modules. Emails: pschnei@wwu.de pschnei@uni-muenster.de Workshops Organized: Noncommutative Algebras (2006) Instructional workshop on noncommutative main conjectures (2011) International workshop on K-types for p-adic groups (2003)

Johannes Ebertمشاهده پروفایل

استاد

• Topology
• Differential Geometry
• Algebraic Topology
• +۵ مورد دیگر

Prof. Johannes Ebert is a Professor in the Department of Mathematics at the University of Münster, affiliated with the Faculty of Mathematics and Computer Science. He is an investigator in Mathematics Münster and a member of CRC 1442 Geometry: Deformations and Rigidity. His research focuses on topology, differential geometry, and algebraic topology, with particular emphasis on positive scalar curvature, index theory, cobordism categories, and moduli spaces. Ebert teaches courses such as Geometrische Lineare Algebra and Ergänzungen zur Analysis und Linearen Algebra. His current research projects include Topics in Mathematics Münster T1, T2, and T5, as well as CRC 1442 Project B03 on moduli spaces of metrics with positive curvature. He has held a research semester from April to September 2025, during which he is represented by Steffen Dereich. His work bridges geometric and algebraic aspects of topology, contributing to foundational questions in manifold theory and metric geometry. Research Interests: Positive scalar curvature, index theory including secondary invariants, cobordism categories, spaces of diffeomorphisms, characteristic classes of manifold bundles, and applications in geometric analysis. His projects explore the interplay between topology, geometry, and algebraic structures, particularly in high-dimensional manifolds and their moduli spaces. Teaching: Winter Semester 2024/25 courses include Geometrische Lineare Algebra and Ergänzungen zur Analysis und Linearen Algebra. Access course materials via LearnWeb with provided keys. Past teaching records are documented online. Affiliations: Member of the Topology Group at Münster, contributor to the Collaborative Research Centre 1442, and active in the university's mathematics community. His research outputs include over 15 peer-reviewed articles since 2019, with a focus on geometric topology and metric geometry topics.