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

Andrew Childsمشاهده پروفایل

استاد

• Quantum Algorithms
• Quantum Information Processing
• Quantum Simulation
• +۲ مورد دیگر

Andrew Childs is a Professor at the University of Maryland, affiliated with the Department of Computer Science and the Institute for Advanced Computer Studies (UMIACS). He serves as Director of the NSF Quantum Leap Challenge Institute for Robust Quantum Simulation (RQS) and is a Fellow at the Joint Center for Quantum Information and Computer Science (QuICS). His research focuses on quantum algorithms for simulating physical systems, algebraic problems, and quantum walk protocols, with applications in quantum computing and computational complexity. University of Maryland Institute for Advanced Computer Studies (UMIACS) Joint Center for Quantum Information and Computer Science (QuICS) NSF Quantum Leap Challenge Institute for Robust Quantum Simulation Childs' research spans quantum simulation, quantum Fourier transform, phase estimation, and Hamiltonian dynamics. He has developed techniques to reduce quantum computational resources for simulating quantum systems and explored limitations of quantum computers through hidden subgroup problems and non-unitary dynamics. His publications cover diverse areas including quantum walk optimization, Hamiltonian simulation methods, and applications to cryptography and condensed matter physics. Recent works address spatial search algorithms, product formulas for commutators, and quantum routing protocols. As an educator, Childs has taught courses on quantum algorithms and information processing at both the University of Maryland and University of Waterloo, with lecture notes and materials spanning multiple years. Contact: amchilds@umd.edu | Office: ATL 3359 | Affiliated with University of Maryland's quantum research institutes.

Heather Macbethمشاهده پروفایل

مدرس ارشد

• Kähler Geometry
• Geometric Analysis
• Formal Verification
• +۳ مورد دیگر

Dr. Heather Macbeth is a Senior Lecturer in Pure Mathematics at Imperial College London, specializing in Kähler geometry, geometric analysis, and the formalization of mathematics. Her research develops geometric analysis techniques for complex manifolds while advancing proof verification through the Lean theorem prover. She leads the development of Lean's Mathlib library, creating formalizations for differential geometry, functional analysis, and representation theory. Her textbook The Mechanics of Proof introduces proof writing through Lean, integrating computer verification with mathematical pedagogy. Funded by a Microsoft Research Lean Award, Dr. Macbeth organizes workshops on formal mathematics and serves on the AMS Committee on Publications. Her geometric research examines Ricci solitons, Yamabe invariants, and Kähler-Einstein metrics, while her formalization work includes Sobolev inequalities and semilinear functional analysis. Research Contributions: Geometric analysis of Ricci solitons and Kähler metrics Formal verification of functional analysis theorems Proof assistant pedagogy and textbook development Contributions to Lean's mathematical library

Jonah Gasterمشاهده پروفایل

استادیار

• Topology
• Geometric Group Theory
• Combinatorial Topology
• +۱ مورد دیگر

Jonah Gaster is an Assistant Professor in the Department of Mathematical Sciences at the University of Wisconsin-Milwaukee, where he also serves as the Program Coordinator for the Topology Research Group and Colloquium Chair. His research focuses on mathematical topology, geometric group theory, and combinatorial structures in low-dimensional topology. His research explores the interplay between combinatorial methods and geometric structures, with specific interests in curve systems on surfaces, harmonic maps between manifolds, and the computational aspects of topological invariants. Recent work investigates combinatorial representations of geometric objects and their applications in low-dimensional topology. Analysis of Dr. Gaster's recent publications reveals a consistent focus on topological combinatorics, surface embeddings, and geometric group theory. His work bridges discrete mathematics with continuous geometric structures, particularly in the contexts of hyperbolic geometry and curve complexes. He leads the Topology Research Group at UWM, fostering collaborative investigations into fundamental questions in geometric topology and discrete mathematics.

Philip Kormanمشاهده پروفایل

استاد

• Differential Equations
• Partial Differential Equations
• Nonlinear Analysis
• +۵ مورد دیگر

Philip Korman is a Professor in the Department of Mathematical Sciences at the University of Cincinnati, College of Arts and Sciences. He earned his Ph.D. from New York University in 1981 and has maintained an active research career for over four decades. His research focuses on differential equations , particularly nonlinear analysis , partial differential equations , boundary value problems , and bifurcation theory . Korman has made significant contributions to the understanding of solution curves, exact multiplicity of solutions, and resonance phenomena in nonlinear equations. His work often combines theoretical analysis with computational approaches, as evidenced by his numerous papers on numerical computation of solutions. Korman's scholarly output demonstrates consistent activity with publications spanning from 1981 to 2024. His research has evolved from foundational work in nonlinear boundary value problems to more specialized investigations of solution curves, multiplicity results, and computational methods for nonlinear equations. The most recent publications continue his focus on global solution curves, resonance problems, and exact multiplicity results. He has served on numerous editorial boards including Mathematica Slovaca , Communications on Applied Nonlinear Analysis , Electronic Journal of Differential Equations , and SIAM Review . Korman has also been an active peer reviewer for major mathematics journals such as Journal of Differential Equations , Nonlinear Analysis , and Mathematische Nachrichten . His departmental service includes roles as Colloquium Coordinator, committee member for PhD and master's examinations, and participation in departmental committees including RPT (Reappointment, Promotion, and Tenure), textbook selection, Math Bowl, and Calculus Contest. Korman has also served as a faculty sponsor and mentor, writing numerous recommendation letters for students and colleagues. Korman has taught a wide range of mathematics courses from undergraduate calculus to graduate-level partial differential equations and applied complex analysis. His teaching portfolio reflects his expertise in differential equations and mathematical analysis.

Paul Mannsمشاهده پروفایل

استادیار

• Mathematical Optimization
• PDE-Constrained Optimization
• Integer Programming
• +۱ مورد دیگر

Paul Manns is an Assistant Professor of Optimization at TU Dortmund University's Department of Mathematics, appointed in 2021. His research specializes in mathematical optimization involving partial differential equations and integer constraints, with emphasis on regularization techniques and trust-region algorithms. Education includes: Ph.D. in Mathematics, TU Braunschweig (2019) Computational Engineering studies, TU Darmstadt Prior research experience includes positions at Heidelberg University, TU Braunschweig, and Argonne National Laboratory (USA), including a James H Wilkinson Fellowship. Recent publications develop novel methods for mixed-integer control problems, domain decomposition, and convergence analysis in non-convex optimization spaces.

• Nonlinear Partial Differential Equations
• Dynamical Systems
• Computer-Assisted Proofs
• +۳ مورد دیگر

Maxime Breden is a tenured Assistant Professor in the Department of Applied Mathematics at Ecole Polytechnique, France, where he is part of the CMAP research center. His work focuses on the analytical and numerical study of nonlinear PDEs and dynamical systems, with a particular emphasis on combining both approaches to develop computer-assisted proofs. Breden holds a PhD in Mathematics from ENS Cachan (France) and Université Laval (Canada), co-supervised by Laurent Desvillettes and Jean-Philippe Lessard. Prior to his current role, he completed a postdoctoral fellowship at the Technical University of Munich under Christian Kuehn's supervision. His research interests span nonlinear partial differential equations, dynamical systems, and numerical analysis. A key theme is leveraging computational methods to rigorously validate solutions and analyze complex systems, such as reaction-diffusion models in biology and physics, pattern formation, and fluid dynamics. His work frequently integrates advanced numerical techniques with theoretical analysis to ensure mathematical rigor. Breden's recent work emphasizes computer-assisted proofs for nonlinear systems, including studies of Turing instability in heterogeneous media, bifurcation analysis in stochastic flows, and validated numerical methods for PDEs. He has presented his research at leading conferences such as SIAM DS 23 and FoCM 2023. While no specific student or grant information is detailed in the provided text, his academic trajectory reflects a strong focus on interdisciplinary research at the intersection of pure and applied mathematics.

Amaury Hayatمشاهده پروفایل

استاد

• Partial Differential Equations
• Control Theory
• Artificial Intelligence in Mathematics
• +۵ مورد دیگر

Amaury Hayat is a Professor at École des Ponts ParisTech (Institut Polytechnique de Paris) since 2023 and a permanent researcher at CERMICS since 2019. He holds a PhD from Sorbonne Université (2016–2019) under the supervision of Jean-Michel Coron, with joint supervision from Sébastien Boyaval. His research focuses on stabilization of partial differential equations (PDEs), control theory, and applying AI to mathematical problem-solving. He has held research positions at Rutgers University (2019–2020), ETH Zürich, Tongji University, and Peking University. His work includes groundbreaking contributions to boundary stabilization of hyperbolic systems, traffic flow control, and neural theorem proving. Research interests span: stabilization of nonlinear PDEs, AI-driven mathematical discovery, and applications in traffic engineering. He leads projects like CIRCLES, addressing traffic congestion via autonomous vehicles. Notable collaborations include Meta AI’s Evariste team for automated theorem proving and Harvard CMSA for AI in mathematics. Key achievements: over 30 publications in top journals (e.g., Annales de l’Institut Fourier , NeurIPS ), invited talks at international conferences (CPDE 2025, Harvard CMSA), and supervision of students who have won awards such as the Shanghai Outstanding Graduate Award. His lab develops tools for energy-efficient traffic control and AI-assisted mathematical reasoning.

Tristan Buckmasterمشاهده پروفایل

استاد

• Fluid Dynamics
• Partial Differential Equations
• Mathematical Physics
• +۳ مورد دیگر

Tristan Buckmaster is a Professor of Mathematics at the Courant Institute of Mathematical Sciences, New York University. His research focuses on fluid dynamics, partial differential equations, and mathematical physics, with emphasis on singularity formation, wave turbulence, and convex integration techniques. He was awarded the 2019 Clay Research Award for groundbreaking work on non-uniqueness of Navier-Stokes solutions. His current research explores compressible fluid dynamics, self-similar blowup phenomena, and rigorous frameworks for wave turbulence theory. His work is supported by grants from the National Science Foundation (CAREER: Singularities in fluids, FRG: Collaborative Research on Incompressible Flows) and the Simons Foundation (Wave Turbulence). Notable contributions include advancing convex integration methods and applying physics-informed neural networks to study fluid singularities. Research interests include shock formation in 3D Euler equations, analytic methods in hydrodynamics, and the kinetic theory of wave turbulence. His studies bridge theoretical mathematics with computational approaches, addressing longstanding questions in fluid mechanics and nonlinear PDEs.

Srđan Trifunovićمشاهده پروفایل

استادیار

• Partial Differential Equations
• Fluid-Structure Interaction
• Thermoelasticity
• +۳ مورد دیگر

Srđan Trifunović is an Assistant Professor at the Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad. His research focuses on fluid-structure interaction, thermoelasticity, and nonlinear partial differential equations, with applications in mechanical and applied mathematics. He holds a Ph.D. and is affiliated with the Functional Analysis, Geometry and Topology research group. Education: Doctorate in Mathematics (Ph.D.) His research interests include the theoretical analysis of contact problems in fluid-structure systems, thermomechanical coupling in elastic materials, and the development of weak solution methodologies for complex multiphysics systems. Recent work explores time-periodic solutions in viscoelastic beam interactions and heat exchange dynamics in coupled fluid-plate systems. His articles (2020–2025) address fluid-structure interaction across compressible/incompressible fluids and thermoelastic plates/beams, emphasizing existence proofs, regularity, and asymptotic behavior. He has also contributed to damping analysis in wave equations and contact mechanics. No scientific awards or grants are explicitly listed in the provided data. He advises no students in the given texts. His consultations are conducted via email.

Jan Bouwe van den Bergمشاهده پروفایل

استاد

• Nonlinear Partial Differential Equations
• Dynamical Systems
• Pattern Formation
• +۵ مورد دیگر

Jan Bouwe van den Berg is Professor of Mathematics and Department Chair at the Department of Mathematics, Faculty of Science, Vrije Universiteit Amsterdam. His research focuses on nonlinear partial differential equations and dynamical systems, particularly pattern formation phenomena. He develops rigorous computational methods combined with topological and variational techniques to analyze complex dynamics. His educational background includes a PhD in Mathematics from Leiden University (1996-2000) under advisor Bert Peletier, preceded by undergraduate studies in Mathematics and Physics at Leiden University (1991-1996). Prior academic positions include EPSRC Research Fellow at Nottingham University (2001-2002) and Assistant Professor at VU Amsterdam (2003-2006). Research interests span: Nonlinear PDEs and dynamical systems with emphasis on pattern formation Topological methods including Conley index and Floer homology Computational dynamics and rigorous numerics Geometric flows (harmonic map heat flow, Willmore flow) Braid theory applications to differential equations Variational methods for elliptic and parabolic problems His publication record shows consistent output in top mathematics journals with recent focus on validated numerics for PDEs and dynamical systems. Key trends include computer-assisted proofs for connecting orbits, rigorous bifurcation analysis, and topological validation of complex patterns. His collaborative work spans institutions including CWI, Leiden University, and international partners. Teaching responsibilities include Single Variable Calculus, Numerical Methods, and specialized courses like Variational Methods for PDEs. He served as Course Director for Mathematics & Business Analytics (2008-2014) and has taught at Amsterdam University College since 2003. He leads the Amsterdam Center for Dynamics and Computation, focusing on computational approaches to dynamical systems. Current projects involve validated integration of PDEs, computational Conley-Floer homology, and applications to geometric flows and pattern formation.

• Inverse Problems
• Dynamic Tomography
• Parameter Identification
• +۵ مورد دیگر

Anne Wald is an Assistant Professor at the University of Göttingen since 2020, specializing in inverse problems and imaging. She previously worked as a postdoc in Saarbrücken and Helsinki (2017-2020) after earning her PhD in Mathematics from Saarland University (2017) and M.Sc. in Mathematics (2012) along with a Diploma in Physics (2013). Education: PhD in Mathematics (2017), Saarland University M.Sc. in Mathematics (2012), Saarland University Diploma in Physics (2013), Saarland University Her research focuses on inverse problems involving dynamic imaging , parameter identification , and motion compensation , particularly in nano-CT and hyperelastic materials. She applies advanced mathematical frameworks like Lebesgue-Bochner spaces and Tikhonov regularization. Current projects include: SFB 1456 Project B06: Compensation of motion and modeling inexactness in nano-CT and local tomography GRK 2756 Project A4: Multiscale rheological inverse problems and active processes in cells Anne's publications highlight work on time-dependent inverse problems , sequential subspace optimization , and anomaly detection . She develops algorithms for dynamic imaging and parameter estimation under uncertainty.

Marie Kerjeanمشاهده پروفایل

پژوهشگر

• Mathematical Logic
• Functional Analysis
• Programming Language Theory
• +۵ مورد دیگر

Marie Kerjean is a CNRS researcher affiliated with the Love team at LIPN (Laboratoire d'Informatique de Paris Nord) within University of Paris 13 . Her research bridges the gap between programming language theory, formal proofs, and functional analysis, focusing on Math-Comp Analysis and ANR DiPLo projects. Key Research Areas: Mathematical Logic Functional Analysis Differential Linear Logic Type Theory Formal Proof Assistants Applications to Differentiable Programming Recent Publications highlight interdisciplinary work in differential linear logic, dialectica categories, and formalization of mathematical structures. She chairs and organizes conferences like JFLA 2026 and LICS 2024 , with a CPP 2026 program committee role. Scientific Recognition: Distinguished Paper at LICS 2024 ANR DiPLo Grant (2024) for Logic and Differentiable Programming Advisory Roles include co-supervising Jad Koleilat 's PhD thesis. She is visiting JFLI in Tokyo (Feb-Jul 2026) and on maternity leave (Jun-Dec 2025). Contact: marie.kerjean@cnrs.fr or kerjean@lipn.univ-paris13.fr .

Jason Mireles Jamesمشاهده پروفایل

استاد

• Dynamical Systems
• Computational Topology
• Invariant Manifolds
• +۲ مورد دیگر

Jason Mireles James is a Professor in the Department of Mathematics and Statistics at Florida Atlantic University. He develops computational methods for dynamical systems, combining topological analysis with rigorous numerical validation. His research creates algorithms for computing invariant manifolds, connecting orbits, and chaotic dynamics in applications ranging from celestial mechanics to partial differential equations. Recent publications focus on validated numerics for PDE stable manifolds, homoclinic chaos proofs in orbital mechanics, and computational implementations of parameterization methods. He organizes the Analysis and Applications Seminar and teaches graduate courses in dynamical systems, complex analysis, and computer-assisted proofs.

• Control Systems
• Data-Driven Control
• Optimization
• +۳ مورد دیگر

Jeremy Coulson is an Assistant Professor in the Department of Electrical & Computer Engineering at the University of Wisconsin–Madison. His research focuses on control systems theory, data-driven methodologies, optimization, and their applications in robotics and energy systems. He completed his PhD at ETH Zurich (2022), MASc and BASc degrees from Queen’s University (2017, 2015). Education PhD, Automatic Control Laboratory, ETH Zurich (2022) MASc in Mathematics & Engineering, Queen’s University (2017) BASc in Mechanical Engineering & Applied Mathematics, Queen’s University (2015) Research Interests Dr. Coulson explores intersections between control theory, optimization, and machine learning. Key areas include data-driven control strategies for complex systems, uncertainty quantification in predictive models, and adaptive control for robotics and energy infrastructure. His work emphasizes foundational questions in system modeling and decision-making under uncertainty. Notable Awards 2022 IEEE Best Young Author Award 2022 ETH Medal (Outstanding Doctoral Thesis) 2019 European Control Conference Best Student Paper Teaching & Advising He teaches courses in optimization, linear systems, and advanced control (e.g., E C E 717, E C E 821). He advises students in master’s and doctoral research, focusing on hands-on projects in robotics and energy systems. No grants explicitly mentioned in provided texts.

Manuel Torrilhonمشاهده پروفایل

استاد

• Continuum Physics
• Kinetic Theory
• Rarefied Gas Dynamics
• +۴ مورد دیگر

Manuel Torrilhon serves as Professor and head of the Research Lab for Applied and Computational Mathematics (ACoM) at RWTH Aachen University, where he has held a full professorship since 2010. He currently leads the Department of Mathematics as its elected Speaker for the 2024-2026 term, overseeing academic strategy and research initiatives within the Faculty of Mathematics, Computer Science and Natural Sciences. His academic foundation includes: Diplom-Ingenieur in Engineering Physics from TU Berlin (1994-1999) PhD in Applied Mathematics from ETH Zurich (2004) Postdoctoral research at HKUST (2004/05) and Princeton University (2005/06) Research Assistant Professor at ETH Zurich (2007-2010) Professor Torrilhon's research pioneers mathematical modeling in continuum physics and kinetic gas theory , with seminal contributions to the Boltzmann equation, rarefied gas dynamics, and magnetohydrodynamics. His work develops advanced numerical methods for nonlinear hyperbolic systems , particularly entropy-stable high-order schemes and multi-scale time integrators. The ACoM lab under his direction bridges theoretical mathematics with engineering applications through computational frameworks like fenicsR13 for moment equation solvers. His methodologies enable high-fidelity simulations of micro-flows, plasma instabilities, and electron transport phenomena critical to aerospace and materials science. Analysis of his 2025-2024 publications reveals dominant trends in entropy-conservative numerical schemes for kinetic equations, multirate time integration for stiff systems, and moment-method extensions to polytropic gases and shallow flows. These works consistently address computational challenges in rarefaction effects, non-equilibrium thermodynamics, and high-enthalpy regimes, demonstrating cross-cutting applications from microfluidics to plasma physics. Scientific recognition includes: EURYI Award (Pre-ERC) from European Science Foundation (2006) As director of ACoM, Professor Torrilhon secures research funding for computational mathematics projects and mentors graduate students in numerical analysis and kinetic theory. His lab maintains strong collaborations with engineering departments for applied validation of mathematical models, particularly in micro-flow devices and plasma containment systems. Current grants focus on adaptive solvers for multi-scale kinetic problems and inverse methods for electron probe microanalysis. The Research Lab for Applied and Computational Mathematics (ACoM) operates as an interdisciplinary hub developing open-source computational tools like fenicsR13. The team specializes in tensor-based numerical methods for moment equations, with ongoing projects in X-ray emission modeling, Richtmyer-Meshkov instability simulations, and thermodynamically consistent electrolyte solvers. ACoM maintains strategic partnerships with aerospace research institutes for hypersonic flow validation and with materials science centers for nanoscale transport studies.