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

• Algebraic Geometry
• Number Theory
• Representation Theory
• +۳ مورد دیگر

Andreas Bode is a Research Fellow at the University of Wuppertal, where he is part of the group led by Sascha Orlik in the Department of Mathematics. His research focuses on D-modules on rigid analytic spaces, integrating geometric representation theory and nonarchimedean geometry. His research interests span several areas of algebraic geometry and number theory, including the study of p-adic differential operators, nonarchimedean geometry, and representation theory. He explores the interplay between D-modules and rigid analytic spaces, contributing to the understanding of holonomicity, Auslander regularity, and the application of almost mathematics in p-adic contexts. His work bridges geometric and analytic approaches to problems in nonarchimedean settings. Bode's recent publications include advancements in the theory of Auslander regularity for p-adic structures, contributions to the holonomicity of D-cap-modules on rigid analytic spaces, and explorations into locally analytic representations of p-adic groups. His work often intersects with homological algebra and functional analysis, reflecting a deep engagement with both theoretical and methodological challenges in nonarchimedean geometry. He has not been mentioned as having received any scientific awards in the provided texts. Bode's current role as a postdoctoral researcher does not involve formal academic advising of students. No grants are specifically mentioned in the provided information. He is affiliated with the Algebra and Number Theory group at the University of Wuppertal, collaborating with colleagues such as Sascha Orlik and contributing to the broader research community in nonarchimedean geometry.

Ram Vasudevanمشاهده پروفایل

دانشیار

• Optimization and control of nonlinear systems
• Legged robot locomotion
• Autonomous systems safety
• +۴ مورد دیگر

Ram Vasudevan is an Associate Professor and Associate Chair of Graduate Studies in the Department of Robotics at the University of Michigan. His research focuses on developing tools for safe and robust deployment of robotic systems, emphasizing optimization, nonlinear control, and real-world applications. Key areas include legged robot locomotion, shared control systems, and safety-critical autonomous systems. Research Interests: Optimization and control of nonlinear systems, locomotion of legged robots, shared control active safety systems, and automation of diagnostic/rehabilitative tasks. His ROAHM Lab prioritizes mathematical guarantees for robotic performance, with applications in medical robotics, autonomous vehicles, and soft robotics. Recent work emphasizes trajectory optimization, sensor fusion, and safety-aware control strategies. He has contributed to benchmarks for autonomous vehicle perception and novel methods in thermal image restoration using neural radiance fields. Awards: None explicitly listed in provided text. Labs/Teams: Directs the ROAHM Lab, collaborating on projects like robotic tail mechanics, real-time motion planning, and sensor data analysis. Active in academic conferences including RSS and ICRA.

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

دانشیار

• Textiles Manufacturing
• Computer-Aided Fabrication
• Real-time Systems
• +۵ مورد دیگر

James McCann is an Associate Professor at the Carnegie Mellon Robotics Institute, where he leads the Carnegie Mellon Textiles Lab. He has been a faculty member since May 2017 after working at Disney Research Pittsburgh. McCann's academic journey includes a PhD from Carnegie Mellon advised by Nancy Pollard, followed by a postdoc at Adobe Research and a period developing video games. McCann's research focuses on building creative tools that operate in real-time and build user intuition, with particular emphasis on textiles fabrication and machine knitting. His work spans computer-aided fabrication, simulation, graphics, and creative tools development. He has pioneered systems for machine knitting design, including compilers for knitting instructions and tools for automatic conversion of 3D meshes to knitting patterns. His recent publications demonstrate a strong trend toward computational textiles, with significant contributions to knitting semantics, deployable textile structures, and applications of machine knitting in healthcare and robotics. McCann's work bridges computer science, robotics, and textile arts, creating practical systems for once-off manufacturing with industrial knitting machines. McCann actively mentors students, with current PhD candidates working on solid knitting machines, knit calibration, and assistive devices. His teaching portfolio includes courses on Real-Time Graphics, Algorithmic Textiles Design, and Game Programming. He has taught at CMU since 2017, developing innovative courses that blend computer science with physical fabrication. As director of the Textiles Lab, McCann oversees research projects spanning machine knitting, robotic painting, and real-time graphics systems. His lab develops practical tools for creators, emphasizing intuitive interfaces and real-time feedback that lower barriers to advanced fabrication techniques.

Brent Pymمشاهده پروفایل

دانشیار

• Mathematical Physics
• Algebraic Geometry
• Noncommutative Geometry
• +۳ مورد دیگر

Brent Pym is an Associate Professor in the Department of Mathematics and Statistics at McGill University. His research focuses on the intersection of differential, algebraic, and noncommutative geometry, with a particular emphasis on Poisson varieties and deformation quantization. He has held academic positions at the University of Edinburgh, University of Oxford, and was a Postdoctoral Fellow at McGill and the University of Toronto. Education: BScE in Engineering Physics, Queen's University (2007) MSc in Mathematics, University of Toronto (2008) PhD in Mathematics, University of Toronto (2013) Research Interests: Pym studies Poisson structures, their quantizations, and connections to mathematical physics. His work involves classical/derived algebraic geometry, D-modules, moduli spaces, the Stokes phenomenon, and multiple zeta values. Recent projects include holonomic Poisson manifolds, log symplectic structures, and software for symbolic calculations in deformation quantization. Awards: Lichnerowicz Prize (2018) Advising & Grants: Pym has openings for graduate students (admission 2026) and undergraduate projects (2026–27). He develops the Star Products software package for symbolic calculations in Poisson brackets and quantization. His work is supported by research collaborations and institutional grants. Labs & Teams: Pym collaborates with researchers in geometry and mathematical physics, contributing to projects in noncommutative algebra and geometric quantization. His software tools enhance symbolic computation in these fields.

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

Prof. Peter Scholze is a leading mathematician at the Max Planck Institute for Mathematics in Bonn, specializing in algebraic geometry and arithmetic geometry. He holds the academic rank of Professor and is part of the Arbeitsgruppe Algebraische Geometrie und Darstellungstheorie. His research focuses on foundational questions in algebraic geometry, number theory, and representation theory, particularly through the lens of the Langlands program, p-adic Hodge theory, and perfectoid spaces. Scholze has pioneered geometric approaches to the local Langlands correspondence and introduced revolutionary concepts like prismatic cohomology and condensed mathematics. He actively contributes to academia through advanced courses on topics such as geometrization of the Langlands program, étale cohomology, and condensed mathematics. His work bridges algebraic geometry with representation theory, addressing fundamental problems in arithmetic geometry and p-adic analysis. Scholze’s research outputs include seminal papers on perfectoid spaces, prismatic cohomology, and the geometrization of local Langlands correspondence. He collaborates extensively with leading mathematicians globally, contributing to collaborative research initiatives like the ARGOS seminar and the Habiro ring project. His teaching engagements include advanced lectures on algebraic geometry, representation theory, and p-adic geometry, reflecting his commitment to training the next generation of researchers. Despite no explicitly listed awards in the provided text, Scholze is widely recognized as a Fields Medalist (2018) and a leading figure in modern mathematics.

Irina Bobkovaمشاهده پروفایل

دانشیار

• Algebraic Topology
• Equivariant Homotopy Theory
• Chromatic Homotopy Theory
• +۴ مورد دیگر

Irina Bobkova is an Associate Professor in the Department of Mathematics at Texas A&M University, affiliated with the College of Arts & Sciences. Her research focuses on algebraic topology, particularly computational aspects of equivariant and chromatic homotopy theory. She has received significant support from the National Science Foundation (NSF) via a CAREER Grant and an RTG Grant. Her research interests include equivariant homotopy theory, chromatic homotopy theory, and the study of stable homotopy groups of spheres. She explores computational methods involving Morava stabilizer groups, Picard groups, and topological modular forms. Her work often involves collaborations with leading mathematicians in the field, such as Agnès Beaudry and Vesna Stojanoska. Bobkova has published extensively in top journals like Mathematische Zeitschrift , Journal of Topology , and Algebraic & Geometric Topology . Her recent work includes groundbreaking contributions to K(2)-local homotopy theory, duality resolutions, and the cohomology of Morava stabilizer groups. She co-organizes the South Central Topology Conference, fostering regional collaboration in topology. Her grants and awards reflect her leadership in advancing algebraic topology. She actively engages in academic service, including organizing workshops and mentoring early-career researchers. Despite no listed formal advisees, her collaborative approach shapes the field’s future directions.

Brian Conradمشاهده پروفایل

استاد

• Number Theory
• Arithmetic Geometry
• Algebraic Geometry
• +۳ مورد دیگر

Brian Conrad is a Professor of Mathematics at Stanford University, specializing in number theory and arithmetic geometry. He holds a position in the Department of Mathematics and has contributed extensively to algebraic geometry, algebraic number theory, and representation theory. His research encompasses foundational work on reductive groups, pseudo-reductive groups, and their applications in arithmetic contexts. Dr. Conrad is an editor for the Journal of the AMS, Algebra and Number Theory, and IMRN. He has organized numerous learning seminars, including those on étale cohomology and the BSD conjecture, and has taught advanced courses on algebraic geometry, class field theory, and modular forms. His work bridges classical algebraic geometry with modern arithmetic applications, emphasizing foundational proofs and geometric intuition. His editorial roles and seminar leadership reflect his commitment to advancing mathematical exposition and education. Education details are not explicitly provided in the texts, but his academic trajectory includes significant contributions to the field through publications and mentorship. Dr. Conrad's research has led to advancements in areas such as the classification of algebraic groups, étale cohomology, and the arithmetic of elliptic curves. His collaborative work with mathematicians like Chai, Oort, and Prasad has produced influential monographs, including Pseudo-reductive Groups and Complex Multiplication and Lifting Problems .

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

دانشیار

• Applied Numerical Linear Algebra
• Eigenvalue Problems
• Network Analysis
• +۵ مورد دیگر

David Bindel is an Associate Professor in the Department of Mathematics at Cornell University, affiliated with the College of Arts and Sciences, College of Engineering, and Cornell Ann S. Bowers College of Computing and Information Science. He earned his Ph.D. in Mathematics from the University of California, Berkeley in 2006. His research focuses on applied numerical linear algebra, eigenvalue problems, and their applications in plasma physics, network analysis, and nonlinear systems. He develops methods for analyzing complex systems, including magnetic confinement in stellarators, stability of MHD systems, and community detection in networks. His work bridges theoretical foundations with practical computational tools, such as formal verification of linear algebra algorithms and scalable Gaussian process models. Bindel’s research explores the interplay between structure and computation, leveraging eigenvalue analysis to address challenges in computer vision, opinion dynamics, and engineering design. He has contributed to advancements in numerical methods for large-scale systems, including iterative solvers, spectral approximation techniques, and stochastic optimization. His interdisciplinary approach spans applied mathematics, computer science, and physics, with applications in fusion energy, machine learning, and network science. Recent work highlights include high-order expansions for magnetic confinement, adaptive filtering for dynamical systems, and Bayesian optimization strategies. His publications emphasize rigorous analysis alongside computational scalability, addressing both theoretical and practical aspects of modern scientific computing. Despite no explicitly listed awards, his contributions reflect significant impact in his fields.

Amir Ali Ahmadiمشاهده پروفایل

استاد

• Optimization Theory
• Control Theory
• Dynamical Systems
• +۷ مورد دیگر

Amir Ali Ahmadi is a Professor at Princeton University's Department of Operations Research and Financial Engineering (ORFE), with affiliations across multiple disciplines including PACM, Computer Science, Mechanical & Aerospace Engineering, Electrical Engineering, and the Center for Statistics and Machine Learning. He serves as Director of Princeton's Optimization and Quantitative Decision Science Certificate Program and has taken temporary roles at Citadel GQS (2021-2022) and Google Brain (2020-2021). His research bridges optimization theory , dynamical systems , and control theory , focusing on scalable algorithms for complex problems in robotics, autonomous systems, and machine learning. He has pioneered DSOS/SDSOS relaxations as alternatives to traditional sum-of-squares methods, enabling faster solutions through linear/second-order cone programming. Recent publications explore: Higher-order Newton methods for socially responsible investment Data-efficient learning of dynamical systems Computational complexity of local minima Robust-to-dynamics optimization frameworks Award highlights include: 2024 Egon Balas Prize in Optimization 2024 Princeton Engineering Council Teaching Award 2023 Distinguished Teaching Award (Princeton SEAS) 2019 NSF CAREER Award 2017 DARPA Young Faculty Award 2017 Sloan Fellowship in Computer Science He advises prominent researchers like Georgina Hall (Tucker Prize finalist) and Bachir El Khadir (Goldstine Fellow), and leads the Princeton Optimization Seminar and MURI project on Control-Oriented Learning on the Fly.

Matthew Emertonمشاهده پروفایل

استاد

• Number Theory
• Arithmetic Geometry
• Automorphic Forms
• +۳ مورد دیگر

Matthew Emerton is a Professor in the Department of Mathematics at the University of Chicago, part of the Physical Sciences Division. He specializes in number theory, arithmetic geometry, and the Langlands program. His research focuses on automorphic forms, Galois representations, and p-adic methods in arithmetic geometry. Education: BSc (Hons) from the University of Melbourne (1993), PhD in Mathematics from Harvard University (1998), advised by Barry Mazur. Research Highlights: Pioneered work on the p-adic Langlands program, moduli stacks of Galois representations, and prismatic cohomology. Authored over 50 publications, including foundational works on p-adic Hodge theory and local-global compatibility. Awards: Alfred P. Sloan Doctoral Dissertation Fellowship (1997-98), Rackham Summer Faculty Fellowship (1999). Grants: Multiple NSF awards (e.g., DMS-2201242 for 'Arithmetic Aspects of the Langlands Program', DMS-1952705 for geometric aspects of the p-adic Langlands program). Students: Mentored 25+ PhD students and postdocs, many contributing to number theory and representation theory.

John Kingstonمشاهده پروفایل

استاد

• Phonetics
• Phonology
• Speech Perception
• +۴ مورد دیگر

John Kingston is a Professor of Linguistics and Director of the Phonetics Lab at the University of Massachusetts Amherst, where he has been since 1990. He holds a BA and MA from the University of Chicago (1976–1977) and a PhD from UC Berkeley (1985). His research focuses on the interplay between phonetics and phonology, particularly speech perception and its influence on phonological representations. He co-founded the Laboratory Phonology Conference series in 1987 and has conducted fieldwork on Otomanguean languages. His work emphasizes experimental methods to study phonological questions, including studies on vowel perception, tone systems, and cross-linguistic phonetic patterns. Kingston’s academic journey includes roles at the University of Texas, Austin (1984–1986) and Cornell University (1986–1990). His research explores how auditory processing and linguistic knowledge shape speech perception, with notable contributions to understanding tonogenesis, perceptual contrast effects, and vowel category learning in second languages. He collaborates on grants examining Ganong effects and phonological inventories, advocating for theories that bridge perceptual and structural aspects of language. His lab, the Phonetics Lab, supports experimental work on speech perception and production. Kingston is also the Honors Program Coordinator, mentoring students in linguistics and related fields. Despite no explicit awards listed, his extensive publications and conference leadership reflect his scholarly impact.

• Poisson Geometry
• Contact Geometry
• Jacobi Geometry
• +۴ مورد دیگر

Alfonso Giuseppe Tortorella is a Tenure Track Assistant Professor in the Department of Mathematics at the University of Salerno since October 31, 2022. Previously, he held research positions at CMUC (Center of Mathematics of the University of Coimbra), CMUP (Center of Mathematics of the University of Porto), and KU Leuven. He received his PhD in Mathematics from the University of Florence in 2017 under the supervision of Luca Vitagliano and Paolo de Bartolomeis. His educational background includes an MSc in Mathematics from the University of Salerno (2013) with honors, where he completed his thesis titled "Geometric methods of Hamiltonian mechanics" under Luca Vitagliano's guidance. Tortorella's research focuses on Poisson geometry in the broadest sense, with particular emphasis on deformation theory of coisotropic submanifolds in Jacobi manifolds, multiplicative structures on Lie groupoids, and VB-groupoids. His work explores the intersection of differential geometry, mathematical physics, and algebraic structures, developing sophisticated theoretical frameworks to understand geometric structures and their deformations. He has made significant contributions to understanding symplectic foliations, contact dual pairs, and the algebraic structures underlying Jacobi geometry. His most recent publications (2023-2025) demonstrate a consistent focus on deformation problems in Poisson and related geometries, with particular attention to coisotropic submanifolds in contact geometry, symplectic foliations, and the application of L∞ algebras to geometric deformation problems. His work shows increasing sophistication in handling higher structures and their applications to geometric problems. Abilitazione Scientifica Nazionale for Professore Associato in Geometria e Algebra (01/A2 - II Fascia) (May 24, 2021 - May 24, 2030) Qualification aux fonctions de Maître de conférences, section 25 - Mathématiques (December 31, 2018 - December 31, 2022) PhD internship at IM PAN awarded by WCMCS (December 2014) PhD scholarship from INdAM (October 2013) Scholarship from SMI (June 2013) Tortorella has advised multiple PhD, MSc, and BSc students, including Vanessa Oliveira (PhD, University of Porto), Antonio Maglio (PhD, University of Salerno), and Rodrigo de Oliveira Baptista (MSc, University of Porto). He has served on examination committees and as a reviewer for numerous prestigious mathematics journals. His collaborative work extends across international boundaries, with research stays at institutions in Italy, Portugal, Belgium, Poland, France, Germany, and Brazil. He is an active organizer of conferences and workshops, particularly in the field of Poisson geometry, serving on the organizing committees for events like Poisson 2024 and the INdAM Intensive Period on Poisson Geometry & Mathematical Physics.

Konstantin (Kostia) M. Zuevمشاهده پروفایل

استاد آموزشی

• Network Science
• Applied Probability
• Computational Statistics
• +۴ مورد دیگر

Dr. Konstantin (Kostia) M. Zuev serves as Teaching Professor in the Computing + Mathematical Sciences Department at California Institute of Technology , where he has made significant contributions to network science and computational statistics since 2016. His dual PhDs in Mathematics (Moscow State University, 2008) and Civil Engineering (HKUST, 2009) underpin his interdisciplinary research spanning differential geometry, stochastic simulation, and network dynamics. Education PhD in Mathematics, Lomonosov Moscow State University (2008) PhD in Civil Engineering, Hong Kong University of Science & Technology (2009) His research focuses on network science , particularly course-prerequisite networks and complex financial systems , with recent work extending to network navigability in cosmological models and rare event simulation. Over his career, he has developed innovative Bayesian inference methods and geometric preferential attachment theories while maintaining active collaborations across mathematics, physics, and biomedical domains. Recent publications highlight network analysis in education ( 2023 ), hyperbolic graph theory ( 2024 ), and pandemic-informed cancer mortality studies ( 2023 ). His 15 most recent articles demonstrate methodological innovations across disciplines including statistics, physics, finance, and cosmology. Scientific recognition includes Humboldt Research Fellowship (2021) Carver Mead Seed Fund Grant (2023) ASCIT Teaching Award (2018, 2023) Northrop Grumman Teaching Excellence Prize (2019) As Graduate Option Representative for Information and Data Sciences at Caltech and faculty advisor for multiple student organizations including the Caltech Karate Club and Caltech Chess Club , he actively bridges academic rigor with community engagement through outreach initiatives like the virtual math education channel and university math circles for K-12 students.

Silviu Pufuمشاهده پروفایل

استاد

• Quantum Field Theory
• String Theory
• Gravity
• +۳ مورد دیگر

Silviu Pufu is a Professor of Physics at Princeton University, where he earned both his A.B. (2007) and Ph.D. (2011) in Physics. Prior to his faculty position, he was a Pappalardo Postdoctoral Fellow at MIT (2011–2013). His research focuses on quantum field theory, string theory, and gravity, with emphasis on conformal field theory, gauge/gravity duality, and lattice gauge theory. He has received the Alfred P. Sloan Research Fellowship (2017) and led the Simons Collaboration for Nonperturbative Bootstrap (2016–2023). His work explores advanced topics such as AdS/CFT correspondence, M-theory corrections, and non-perturbative bootstrap methods. Pufu advises three graduate students: Ross Dempsey, Debaditya Pramanik, and Benjamin Søgaard. His research outputs span theoretical frameworks like super-Yang-Mills theories, M-theory orbifolds, and lattice Hamiltonian formulations of QCD. His 2020–2025 publications highlight contributions to bootstrap techniques, holographic calculations, and precision studies of strongly coupled systems.

Supratik Chakrabortyمشاهده پروفایل

استاد

• Formal Methods
• Formal Verification
• Automated Synthesis
• +۷ مورد دیگر

Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.