Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .
Robert Ghrist is the Andrea Mitchell University Professor at the University of Pennsylvania with dual appointments in the Department of Mathematics and the Department of Electrical and Systems Engineering. He serves as Associate Dean for Undergraduate Education for Penn Engineering. His educational background includes a B.S. in Mechanical Engineering from the University of Toledo (1991), and M.S. and Ph.D. degrees in Applied Mathematics from Cornell University (1994, 1995). Ghrist's research bridges pure and applied mathematics, focusing on applied algebraic topology , dynamical systems , and geometric methods in data science. His work extends to network theory, topological data analysis, and computational geometry, with applications spanning robotics, neuroscience, and social dynamics. Key innovations include developing sheaf-theoretic approaches for networked systems and persistence homology techniques for high-dimensional data. Analysis of his recent publications reveals a strong emphasis on lattice-theoretic frameworks , topological robotics , and network dynamics , with emerging applications in neural data interpretation and geometric computing. His research consistently integrates category theory with real-world engineering challenges. Significant scientific recognition includes: Presidential Early Career Award (PECASE, 2004) Scientific American 'Top 50' Research Leader (2007) Mathematical Association of America's Chauvenet Prize (2013) University of Pennsylvania Lindback Award for Distinguished Teaching (2015) DoD National Security Science and Engineering Faculty Fellowship (NSSEFF, 2015) Ghrist leads multiple federally funded research initiatives supported by AFOSR, DARPA, NSF, and ONR. He directs the development of educational tools including the Calculus BLUE/GREEN Project video series and custom GPTs for mathematical pedagogy. His open online courses have reached over 100,000 learners globally.
Bradley D. Olsen is a full professor in the Department of Chemical Engineering at the Massachusetts Institute of Technology (MIT), where he leads research at the intersection of polymer science, soft matter physics, and bioengineering. His work focuses on designing materials for critical applications in biotechnology, hemostasis, and sustainable polymer development while advancing fundamental understanding of polymer network mechanics and self-assembly. Education: Ph.D. in Chemical Engineering, University of California Berkeley (2007) S.B. in Chemical Engineering, Massachusetts Institute of Technology (2003) Olsen's research spans protein-based materials, block copolymer phase behavior, and mechanochemical hydrogels. He has pioneered methods for quantifying polymer network topology, developing hemostatic nanoparticles, and creating bio-inspired materials for selective biomolecular transport and medical applications. His recent publications emphasize data-driven approaches to polymer characterization and educational outreach in materials science. Scientific Awards: American Physical Society (APS) Fellow (2023) Fulbright Amazonia Scholar (2023) Alexander and I. Michael Kasser Chair in Chemical Engineering (2021) ACS Macro Letters Young Investigator Award (2021) MIT Committed to Caring Honor (2019) AIChE Owens Corning Early Career Award (2019) APS Dillon Medal (2018) Kavli Emerging Leader in Chemistry (2017) ACS Polymer Division Fellow (2016) Camille Dreyfus-Teacher Scholar (2015) Alfred P. Sloan Research Fellow (2014) NSF Career Grant (2013) NIH Postdoctoral Fellowship (2008-2009) Hertz Fellow (2003-2007) Barry M. Goldwater Scholarship (2002) Olsen has received significant grant support including NSF Career (2013) and AFOSR (2012) awards. His teaching activities include innovative international outreach like the 2025 soccer-themed science camp in Brazil. The Olsen Group at MIT explores advanced materials with applications ranging from trauma care to sustainable polymers.
Sam Staton is a Professor of Computer Science at the University of Oxford and Senior Research Fellow at Jesus College. He holds a Royal Society University Research Fellowship and leads the ERC-funded BLaSt project on probabilistic programming. His research focuses on programming language theory, particularly probabilistic and quantum programming, and category theory. Staton earned his PhD from the University of Cambridge in 2007, with prior roles as a lecturer and researcher at Cambridge, Paris, and Nijmegen. Research Interests: His work explores foundational aspects of programming languages, including semantics, algebraic effects, and applications to quantum computing and statistical modeling. Recent grants include the ARIA Safeguarded AI initiative and an AFOSR award. Education: PhD in Computer Science (2007), BA from Cambridge (2002). Students & Collaborators: Supervises multiple PhD students and postdocs, including those funded through his grants. Notable advisees include Swaraj Dash (now at Heriot-Watt) and Mathieu Huot (postdoc at MIT). Awards & Grants: Royal Society Fellowship, ERC Consolidator Grant (BLaSt), EATCS Best Paper Award, and Facebook Research Award. Labs & Teams: Leads the BLaSt project and collaborates on quantum programming via algebraic effects. Engaged in editorial roles for ACM Transactions on Quantum Computing and program committees for major conferences like POPL and LICS.
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.
Prof. Dr. Ralf Schindler is a Professor at the Institute for Mathematical Logic and Fundamental Research within the Department of Mathematics and Computer Science at the University of Münster. His primary research focuses on foundational aspects of mathematical logic, particularly in set theory and model theory. Schindler's research explores core areas including inner model theory, forcing techniques, large cardinals, determinacy axioms, and descriptive set theory. His investigations address fundamental questions about the structure of mathematical universes, consistency proofs, and connections between set theory and other mathematical disciplines. Recent work emphasizes applications of determinacy hypotheses and extensions of Martin's Maximum. Schindler's publications demonstrate consistent focus on advanced set theory concepts from 2000 to 2021. Key trends include deep investigations into inner models (especially core models and mouse constructions), forcing axioms and their consequences, determinacy hypotheses, and the interplay between large cardinals and descriptive set theory. His collaborative works frequently appear in premier logic journals. Schindler has received significant recognition for his contributions: Hausdorff Medal (2022) Dov Gabbay Prize (2024) He leads the research project EXC 2044 - A2: Groups, model theory and sets , which investigates applications of model theory to arithmetic geometry, topological dynamics, and group theory, while addressing fundamental questions in geometric group theory and set theory foundations.
David Perkinson is a Professor of Mathematics at Reed College, where he holds a position in the Department of Mathematics. His research focuses on combinatorics, algebraic geometry, and discrete mathematics, with a particular emphasis on sandpile models, graph theory, and matroid theory. He is the author of the textbook *Divisors and Sandpiles: An Introduction to Chip-Firing*, which explores the combinatorial theory of chip-firing on graphs. Perkinson has also developed software tools like the Sandpile Java App, which visualizes and analyzes the Abelian Sandpile Model. He organizes the Cascade Lectures in Combinatorics (CALICO), a series of conferences funded by the National Science Foundation, aimed at fostering collaboration among researchers in combinatorics. His work bridges discrete mathematics with algebraic geometry, emphasizing connections between graph theory and geometric structures. Perkinson teaches advanced courses in analysis and contributes to the academic community through his research on topics such as divisor theory on graphs, sandpile groups, and combinatorial game theory. His recent publications (2015–2024) address matroid theory, sandpile dynamics, and applications of algebraic methods to discrete systems.
Assoc Prof Ng Teng Yong is an Associate Professor at the School of Mechanical & Aerospace Engineering (NTU), specializing in numerical modeling and simulation. With a background as Research Manager at A*STAR Institute of High Performance Computing, his work spans materials science, nanotechnology, and aerospace engineering. Current focus on graphene-based desalination membranes Expertise in molecular dynamics simulations Investigates nanoscale fluid mechanics and structural dynamics Recent publications highlight advancements in energy-efficient electrodialysis, smart robotics, and nonlinear vibration analysis. His interdisciplinary approach integrates computational methods with experimental validation in additive manufacturing and soft material mechanics.
Juha Kinnunen is a Professor of Mathematics at Aalto University, affiliated with the Department of Mathematics and Systems Analysis within the School of Science. His primary research focuses on mathematical analysis, particularly nonlinear partial differential equations, harmonic analysis, and regularity theory in metric measure spaces. He holds a Ph.D. and has been an active researcher in areas such as degenerate and singular PDEs, parabolic equations, and functional inequalities. Affiliations: Aalto University, Department of Mathematics and Systems Analysis, School of Science Roles: Professor, Researcher in Analysis and Nonlinear PDEs His research emphasizes theoretical aspects of nonlinear PDEs, including regularity theory for singular/degenerate elliptic and parabolic equations, and applications in multiphase fluid dynamics and nonhomogeneous media. He has extensively studied methods involving harmonic analysis and has contributed to the understanding of reverse Hölder classes, Muckenhoupt weights, and maximal function approaches in metric measure spaces. Recent work includes studies on doubly nonlinear equations, mixed local/nonlocal operators, and the development of self-improving properties of weighted inequalities. Over 100 publications since 1994 highlight his contributions to fields like parabolic systems, quasiminimizers, and supercaloric functions.
Betsy Stovall is a Professor of Mathematics at the University of Wisconsin–Madison and holds the Letters and Science Mary Herman Rubenstein Professor chair. She serves as the AMS Associate Secretary for the Central Section . Education : Not explicitly stated in provided text. Appointments : Regular faculty at UW–Madison since at least 2012 Organizer of graduate analysis seminars Research Interests : Stovall specializes in harmonic analysis , focusing on operators involving curvature, oscillatory integrals, and Fourier restriction phenomena. Her work intersects with partial differential equations (PDEs) through the study of dispersive equations and geometric analysis problems. Teaching : Complex Analysis (Math 623) - Fall 2021 Calculus III (Math 234) - Fall 2020 Graduate Analysis Seminar - Spring 2022 Organized UW Madison undergraduate summer school in Analysis (2018) Scientific Contributions : Sole or joint author of 15+ publications NSF RTG grant in Analysis and PDE Active in harmonic analysis seminars and educational initiatives Administrative Roles : AMS Associate Secretary Co-organizer of RTG/Student seminars Summer school director
Professor Laurentiu Paunescu is a faculty member in the School of Mathematics and Statistics at the University of Sydney . His research focuses on Real and Complex Singularities , Stratifications , and Real and Complex Algebraic Geometry , with particular interest in geometric criteria for ignoring higher-order terms in analytic maps and blow-analytic equivalence. University: University of Sydney School: School of Mathematics and Statistics Academic Rank: Professor Email: laurentiu.paunescu@sydney.edu.au, laurent@maths.usyd.edu.au Address: F07 - Carslaw Building, The University of Sydney Paunescu's research aligns with the University of Sydney's Understanding the Universe and Fundamental Laws of Nature strengths. He investigates topological invariance under bi-Lipschitz homeomorphisms, Lipschitz stratification, and connections between real and complex Milnor fibers. His work often involves collaborations with researchers like S. Koike, A. Parusiński, and M. Tibar. Recent publications (2024–2019) emphasize Lipschitz geometry (e.g., directional bundles, stratification), cohomology of hypersurface singularities , and polynomial function finiteness . Notable collaborations include studies on vanishing cohomology , clustered polar curves , and CAD construction validity . Grants from DVC Research and ARC Discovery Projects support his work. He supervises research students in areas like O-minimal Geometry and contributes to Metric Spaces (Advanced) teaching. Paunescu co-edits workshops such as the Australian-Japanese Real and Complex Singularities Workshop , advancing international collaboration in singularity theory.
Professor Paul Goulart is a full Professor of Engineering Science at the University of Oxford and Tutorial Fellow at St Edmund Hall, positions he has held since 2014. He leads research and teaching in robust optimization, control systems, and high-speed numerical methods, with applications spanning fluid flows, traffic networks, and economics. Education SB & MSc, Aeronautics and Astronautics – Massachusetts Institute of Technology (MIT) PhD, Control Engineering – University of Cambridge (Gates Scholar, 2007) Research Interests Professor Goulart’s work lies at the intersection of control engineering and optimization . His core expertise includes: Robust and high-speed convex optimization Model predictive control (MPC) and control barrier functions Neural-network-based control and system identification Optimization over traffic and economic networks Real-time and embedded optimization solvers These interests are reflected in prolific publication output and active supervision of doctoral researchers. Publications & Trends From 2020 to 2025 Professor Goulart has co-authored more than thirty papers. A dominant theme is the development of fast, reliable algorithms for conic optimization and robust control , often leveraging machine-learning techniques to enhance scalability and real-time performance. Recent works emphasize safety certificates, GPU-accelerated solvers, and neural-network controllers for uncertain systems. Awards & Honors Gates Cambridge Scholar (2003) Advising & Grants Professor Goulart actively seeks DPhil students in control engineering and optimization . He leads the Control Group within the Department of Engineering Science and has been involved in multiple industrially funded projects, although specific grant identifiers are not provided in the supplied text. Laboratory & Teams He is a member of the Control Group , Department of Engineering Science, University of Oxford, and serves as Secretary to the Governing Body of St Edmund Hall (Michaelmas Term 2024).
Yuxin Chen is a Professor at the University of Pennsylvania , holding joint appointments in the Department of Statistics and Data Science and the Department of Electrical and Systems Engineering . Prior to UPenn, he was an Assistant Professor at Princeton University (2017-2021) and a Postdoctoral Researcher at Stanford University (2015-2017). His research spans statistics, optimization, reinforcement learning theory, diffusion models, and information theory , with a focus on theoretical foundations and practical algorithms for machine learning. Education : Ph.D. in Electrical Engineering (Stanford, 2015), M.S. in Statistics (Stanford, 2013), M.S. in Electrical and Computer Engineering (UT Austin, 2010), B.E. in Electrical/Microelectronics (Tsinghua, 2008). Research Interests encompass theoretical and applied aspects of machine learning, including nonconvex optimization , sample complexity analysis , low-dimensional adaptation , and generative modeling . His work bridges mathematical rigor with real-world applications, particularly in scientific imaging and high-dimensional data analysis. Scientific Awards include the SIAM Activity Group on Imaging Science Best Paper Prize (2024) Alfred P. Sloan Fellowship (2022) NSF Career Award (2022) Google Research Scholar Award (2022) IEEE Transactions on Power Electronics Prize Paper Award (2024) Advising and Grants : He has mentored numerous students who have transitioned to academic roles at institutions like UIUC and UW-Madison. His research is supported by grants from the NSF , Amazon , and Google , with recent projects focusing on controllable diffusion models and efficient reinforcement learning algorithms .
Michael Knap is an Associate Professor of Collective Quantum Dynamics at the Technical University of Munich (TUM), within the Department of Physics at the TUM School of Natural Sciences. His research group focuses on condensed matter theory, quantum many-body systems, and quantum simulation. Knap holds office in room 5101.01.037 at James-Franck-Str. 1, 85748 Garching b. München, and can be reached at michael.knap@ph.tum.de or +49 (89) 289 - 53777. Prof. Knap's research delves into the rich physics of quantum many-body systems, particularly exploring non-equilibrium dynamics and transport phenomena in ultracold quantum gases, interacting light-matter systems, and correlated quantum materials. His work spans multiple subfields including topological phases of matter, quantum simulation with trapped ions, fracton physics, and quantum computation. He develops novel numerical approaches based on quantum information theory and utilizes artificial intelligence and machine learning to tackle challenging problems in condensed matter physics. His group's research connects fundamental theoretical questions with experimental implementations in quantum simulators. The analysis of Prof. Knap's recent publications (2023-2025) reveals a strong focus on topological quantum matter, quantum simulation, and emergent phenomena in constrained quantum systems. His work frequently bridges condensed matter theory with quantum information science, as evidenced by publications on fracton hydrodynamics, higher-form symmetries, and quantum error correction. There's a clear progression toward increasingly complex quantum systems and connections to experimental implementations on quantum processors. His research shows significant interdisciplinary reach, connecting condensed matter physics with quantum computing and quantum information theory. ERC Consolidator Grant (2025) ERC Starting Grant (2019) Supervisory Award, TUM Department of Physics (2018) Promotio sub auspiciis Praesidentis rei publicae, Austria (2013) Prof. Knap has established a robust research program supported by prestigious European Research Council grants. His group actively collaborates with both theoretical and experimental groups worldwide, particularly in the quantum simulation community. He has supervised numerous students through Master's Seminars on Collective Quantum Dynamics covering topics like quantum simulation with trapped ions and theoretical quantum computation. His research has received significant attention, with several publications featured as Editors' suggestions and Research Highlights in leading journals. The Collective Quantum Dynamics group maintains strong connections with experimental quantum simulation efforts, particularly in the areas of ultracold atoms and trapped ion systems. Knap's theoretical work often provides frameworks for interpreting experimental results in quantum simulators, creating a productive feedback loop between theory and experiment. His group participates in collaborative research networks focused on advancing quantum simulation capabilities and understanding fundamental aspects of quantum many-body physics.
Montserrat Anguera, Ph.D. is an Associate Professor in the Department of Biomedical Sciences at the University of Pennsylvania's School of Veterinary Medicine. Her research focuses on epigenetic mechanisms of gene regulation underlying sex differences in development and disease, with particular emphasis on X-chromosome inactivation (XCI) and its implications for female-biased autoimmune disorders. Dr. Anguera investigates how gene expression from the X-chromosome is regulated to ensure dosage compensation between males and females, and how these mechanisms become altered in diseases exhibiting sex-bias. Her laboratory has established novel epigenetic pathways involving the X-chromosome that impact human development, immune responses, and lymphocyte function. She employs advanced techniques including RNA/DNA fluorescence in situ hybridization, immunofluorescence, and allele-specific RNA sequencing to achieve single-cell resolution of epigenetic characteristics of the inactive X chromosome. Her research reveals a consistent focus on the intersection of X-chromosome biology and immunology, particularly regarding sex-biased autoimmune diseases like systemic lupus erythematosus. Key findings include the discovery that lymphocytes maintain X-chromosome inactivation differently than other somatic cells, with the inactive X exhibiting euchromatic features in female lymphocytes that may underlie female bias in autoimmune disorders. She coined the term 'dynamic XCI maintenance' to describe how T and B cells relocalize Xist RNA and heterochromatic marks to the inactive X chromosome following antigen-mediated stimulation. Dr. Anguera's laboratory includes postdocs Katherine Forsyth and Nikhil Jiwrajka, research specialist Zowie Searcy, graduate students Isabel Sierra and Natalie Toothacre, postdoctoral researcher Nuriban Valero-Pacheco, and PhD student Emma Welter. Together, they investigate epigenetic regulation of X-linked genes in development and disease contexts. She is an active member of multiple prestigious research institutes at Penn, including the Epigenetics Institute, Institute for Immunology, Center for Research on Reproduction & Women's Health, and Institute for Regenerative Medicine. Her work bridges epigenetics, immunology, and developmental biology, providing novel insights into mechanisms underlying female-biased autoimmune disorders.
