Jaclyn Lang is the Selma Lee Bloch Brown Assistant Professor of Mathematics at Temple University. Her research centers on algebraic number theory, focusing on modular forms, Galois representations, elliptic curves, motives, and p-adic methods. Education: Ph.D. in Mathematics, UCLA (2016), advised by Haruzo Hida Part III of the Mathematical Tripos, University of Cambridge (2010), supervised by Tom Fisher MA in Mathematics, Bryn Mawr College (2009), supervised by Helen Grundman Research Interests: She works on advanced problems in number theory, including the Eisenstein ideal, pseudorepresentations, and arithmetic geometry of elliptic curves. Her work often bridges algebraic geometry and automorphic forms using p-adic techniques. Scientific Awards: Churchill Scholarship (2009–2010) Clare Booth Luce Scholarship (2007–2009) NSF Graduate Research Fellowship (2010–2015) Charles E. and Sue K. Young Graduate Student Award (2015) NSF Mathematical Sciences Postdoctoral Research Fellowship (2016–2020) AWM Travel Grant (2023) Fulbright U.S. Student Program Grant (2016) Simons Travel Support for Mathematicians (2023–2028) Grants: She has received NSF Standard Grant DMS-331117 (2023–2026) and participated in programs like the Park City Math Institute and Women in Numbers Europe (WINE3).
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.
Prof. Dr. Mathias Christmann is a faculty member at the Institute of Chemistry and Biochemistry, Freie Universität Berlin , leading the research group in Organic Chemistry . His work focuses on strategic and methodological challenges in synthetic chemistry, particularly in total synthesis, organocatalysis, and renewable resource transformations. Position: Professor Contact: mathias.christmann@fu-berlin.de Location: Takustr. 3, Room 24.16, 14195 Berlin Research Interests include: Natural product-inspired small molecule synthesis for biological pathway modulation Minimizing C-C bond formations through selective functionalization of terpene building blocks Organocatalytic and metal-catalyzed reactions in multistep sequences Flow chemistry applications for scalable and sustainable synthesis Biological evaluation of TRPC channel agonists/antagonists for cancer therapy Publication Trends highlight expertise in total synthesis of complex terpenoids, organocatalysis for stereocontrolled reactions, flow chemistry for late-stage transformations, and TRPC4/5 channel modulation in renal cancer studies. His group pioneers asymmetric desymmetrization , photo-oxidation protocols , and electrosynthesis methods with minimal reagent waste. Advisees include PhD candidates Jan-Hendrik Dickoff , Mayar Elbendary , Nadine Kreidt , Tobias Olbrisch , Kamar Shakeri , and Zhen Wang , focusing on terpene-based drug discovery and catalytic reaction design.
Michael Groll serves as Professor and Chair of Biochemistry at the Technical University of Munich (TUM), where he leads structural biology and enzymology research with a focus on proteasome mechanisms and inhibitor development. His laboratory, located at the Ernst-Otto-Fischer-Str. 8 campus in Garching, maintains active collaborations in drug discovery for cancer and infectious diseases. His primary research domains include proteasome inhibition, enzyme catalysis, and natural product biosynthesis, employing X-ray crystallography, biochemical assays, and bioengineering to dissect molecular mechanisms. Recent work emphasizes AI-guided enzyme optimization, bacterial stress response targeting, and structural characterization of halogenation enzymes, reflecting interdisciplinary approaches bridging chemistry and biology. Analysis of his 2023-2025 publications reveals consistent innovation in proteasome-targeted therapeutics, with 15 high-impact papers featuring structural insights into enzyme-inhibitor complexes and biosynthetic pathways. Key trends include engineering megasynthetases for immunoproteasome inhibitors, optical control of protein degradation, and elucidating metal-dependent mechanisms in antibiotic biosynthesis. No scientific awards were documented in the provided source material. While specific grant details and student mentorship records were not disclosed, his extensive publication record indicates leadership in collaborative research projects involving structural biology and chemical biology methodologies. The Chair of Biochemistry under Prof. Groll operates as a hub for structural enzymology, housing facilities for protein crystallography, enzyme kinetics, and natural product characterization. His team actively contributes to TUM's research ecosystem through partnerships with pharmaceutical groups and international structural biology consortia.
Prof. Bryan Ford leads the Decentralized/Distributed Systems (DEDIS) lab at EPFL. He focuses on secure decentralized systems, including blockchain technology, privacy, and systems security. He earned his Ph.D. from MIT and held faculty positions at Yale University and EPFL. His work spans distributed consensus protocols, peer-to-peer networking, and privacy-preserving systems. Key projects include QuePaxa (timeout-free consensus), UIA (global connectivity for mobile devices), and MedCo (secure healthcare data sharing). He advises numerous PhD students and contributes to open-source projects like Bitcoin collective signing and privacy networks like Riffle. Education: Ph.D., MIT; Postdoctoral work at Yale Research interests include blockchain scalability, consensus algorithms, and cryptographic privacy. His lab develops systems like TRIP for coercion-resistant voting and F3B to mitigate blockchain front-running. His work on NAT traversal and peer-to-peer protocols (e.g., STUN/ICE) remains foundational in network architecture. He emphasizes practical, auditable security solutions such as CertiKOS and atomic cross-chain transactions (Atom). Notable contributions: CoSi (collective signing), OmniLedger (sharded blockchain), and privacy-preserving protocols like PURBs (Protected Unsealable Recursive Boxes). His lab collaborates with Swiss Post to audit e-voting systems and designs democratic cryptocurrencies like PoPCoin.
Professor Paul D. Sclavounos is a faculty member in the Department of Mechanical Engineering at the Massachusetts Institute of Technology (MIT). He earned his B.Sc. from the National Technical University of Athens in 1977 and Ph.D. from MIT in 1981. Research Interests : Marine hydrodynamics, stochastic control, offshore wind/wave/tidal/solar energy, machine learning applications, magnetohydrodynamic propulsion systems. Notable Contributions : Development of computational tools like SWAN and SML software suites; analysis of nonlinear wave dynamics; integration of AI/ML in marine hydrodynamics. Scientific Recognition : First Prize in National Mathematics Competition (1972), Georg Weinblum Memorial Lecturer (2010-2011), Best Paper Award at OMAE 2019, AEOLOS Scientific Award (2024). Leadership : Director of the Laboratory for Ship and Platform Flows since 1985; advisory roles for US Navy, US Department of Energy, and Det Norske Veritas (DNV). Teaching : Courses in Hydrodynamics (2.016), Advanced Fluid Mechanics (2.25), and Naval Architecture (2.701).
Gordon Plotkin is a Professor at the School of Informatics, University of Edinburgh, where he is affiliated with the Laboratory for Foundations of Computer Science (LFCS). His research lies at the intersection of theoretical computer science and programming language semantics, with a profound influence on the formal understanding of computation. His research interests include Programming Language Theory, Semantics of Programming Languages, Domain Theory, Operational Semantics, Lambda Calculus, Type Theory, Concurrency Theory, and Algebraic Effects. His seminal work on structural operational semantics and domain theory has laid the foundation for modern semantics of programming languages. His publications span over five decades, showing a sustained and evolving research trajectory from foundational work in lambda calculus and domain theory to recent contributions in algebraic effects, probabilistic computation, and biochemical systems modeling. The articles demonstrate a consistent focus on formal methods, mathematical rigor, and the algebraic structure of computational effects. He has collaborated with leading researchers including Martín Abadi, John Power, Glynn Winskel, and John Reynolds. His work continues to influence both theoretical and practical developments in programming languages and systems. Gordon Plotkin has made foundational contributions to computer science, particularly through his development of structural operational semantics and domain-theoretic models of computation. He has advised numerous researchers and supervised many influential PhD theses, though specific student names are not listed in the provided text. His work has been supported by long-standing affiliations with the Laboratory for Foundations of Computer Science and the University of Edinburgh, and he has contributed to major collaborative projects in programming language design and verification. He is associated with several research groups and labs, most notably the Laboratory for Foundations of Computer Science (LFCS), which serves as a hub for theoretical research in programming languages, semantics, and logic at the University of Edinburgh.
Nicole Wein is an Assistant Professor in the Computer Science and Engineering Division of the Department of Electrical Engineering and Computer Science (EECS) at the University of Michigan, College of Engineering. Her research lies in theoretical computer science, focusing on graph algorithms, dynamic algorithms, parameterized algorithms, distributed algorithms, online algorithms, and fine-grained complexity. She is part of the Theory of Computation Lab and advises both PhD and undergraduate researchers. PhD, Massachusetts Institute of Technology (MIT), advised by Virginia Vassilevska Williams Postdoctoral Fellow, DIMACS Research Fellow, Simons Institute, UC Berkeley MS, Stanford University BS, Computer Science/Math, Harvey Mudd College Her research explores fundamental algorithmic questions in combinatorial settings, particularly how algorithms handle dynamic data, extract information efficiently (e.g., in linear time), and understand shortest path structures in graphs—especially directed ones. She investigates problems in distance estimation, spanners, hopsets, dynamic graph algorithms, and hardness of approximation. Her work combines theoretical depth with practical implications for algorithm design. The recent publications reflect a strong trend in fine-grained complexity and graph algorithm design, with a focus on proving tight bounds, developing efficient approximations, and understanding structural limitations in directed and dynamic graphs. Her work frequently appears in top venues such as STOC, FOCS, SODA, and ICALP, often in collaboration with leading researchers in the field. Scientific Awards and Recognition: Invited to special issue of SIAM Journal on Computing (SICOMP) (FOCS 2022 paper) Invited to Highlights of Algorithms (HALG) (FOCS 2022 paper) Invited to minisymposium at CANADAM (ESA 2022 paper) Work featured in Quanta Magazine Nicole Wein actively mentors students, including current PhD student Jubayer Nirjhor and former undergraduate researchers like Sam Hiken (now pre-doc at MIT). She has served on program committees for major conferences including SODA, FOCS, ICALP, and ITCS, and co-organized the DIMACS workshop on Modern Techniques in Graph Algorithms (2023). She also contributes to the academic community through outreach, such as her article offering reassurance to early-stage PhD students in theoretical computer science. She leads and participates in collaborative research groups and workshops, emphasizing supercollaboration and interdisciplinary communication in algorithms. Her lab fosters a strong research environment in theoretical computer science at the University of Michigan.
Martin Burke is the May and Ving Lee Professor for Chemical Innovation and Professor of Chemistry at the University of Illinois Urbana-Champaign , with additional appointments in Biochemistry, Biomedical & Translational Sciences, and multiple campus institutes including the Beckman Institute and the Carl R. Woese Institute for Genomic Biology. Education B.S. Johns Hopkins University , 1998 Ph.D. Harvard University , 2003 M.D. Harvard Medical School , 2003 Research Interests Burke’s program centers on molecular prosthetics : the design, synthesis and application of small molecules that replicate or replace missing or dysfunctional proteins. His group pioneered iterative cross-coupling (ICC) using MIDA-protected haloboronic acids to automate the construction of complex natural products and function-oriented small molecules. Current projects target ion-channel replacement in cystic fibrosis, iron-transport restoration in anemia, and non-toxic antifungals that overcome drug resistance. Scientific Awards & Honors National Academy of Medicine (2021) AAAS Fellow (2021) ASCI Member (2021) iCON Award (2019) Mukaiyama Award, Japan (2019) ACS Nobel Laureate Award for Graduate Education (2017) Thieme-IUPAC Prize in Synthetic Organic Chemistry (2014) Elias J. Corey Award (2013) Arthur C. Cope Scholar Award (2011) Research Output & Impact Burke has authored >120 peer-reviewed articles, >30 patents, and his work has been cited >20,000 times. High-impact publications in Nature , Science , and Angewandte Chemie have advanced automated synthesis, molecular prosthetics, and cystic fibrosis therapeutics. Laboratory & Training The Burke Laboratories house a multidisciplinary team of graduate students, post-doctoral researchers, and physician-scientists developing next-generation molecular prosthetics. The group is supported by NIH, NSF, private foundations, and industry partnerships aimed at democratizing molecular innovation.
Prof. Dr. Markus Zimmermann leads the Chair of Product Development and Lightweight Design at the Technical University of Munich (TUM). With a background in mechanical engineering from TU Berlin and the University of Michigan, and a doctorate from MIT on solid-state singularities, he bridges academic rigor with industrial application. His career spans 12 years at BMW focusing on vehicle development before transitioning to academia. Specializes in solution space engineering for robust design Expert in additive manufacturing and systems engineering Develops methodologies for managing design complexity and uncertainty His research focuses on multidisciplinary design optimization and lightweight structures , particularly in robotics and automotive systems . His team applies digital twin frameworks and attribute dependency graphs to enhance design processes. Recent publications emphasize topology optimization in robotic systems and thermal management for medical X-ray sources. Key trends in his 2024-2025 publications include: Topological optimization for additive manufacturing and robotics Application of solution spaces to manage design uncertainty Development of compact X-ray systems for medical therapy Integration of digital twin technologies in industrial contexts
Prof. Dr. Urs Hartl is a faculty member in the Department of Mathematics and Computer Science 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 the Collaborative Research Centre (CRC) 1442 'Geometry: Deformations and Rigidity.' His research focuses on arithmetic geometry, representation theory, algebraic number theory, and arithmetic of function fields. He holds a prominent position in the field, contributing to areas such as Shimura varieties, p-adic Hodge theory, and the Langlands program. Affiliations: Member of CRC 1442 Geometry Investigator in Mathematics Münster Research Interests: Arithmetic algebraic geometry Algebraic number theory Arithmetic of function fields Structure theory of Shimura varieties p-adic Hodge theory p-adic Langlands programme Model theory Recent Publications: Hartl's recent work includes studies on moduli stacks of global G-shtukas, periods of Drinfeld modules, and p-adic Galois representations. His research emphasizes foundational contributions to arithmetic geometry and number theory, often involving collaborations with leading mathematicians such as Rajneesh Kumar Singh and Eva Viehmann. Grants & Advising: Hartl’s involvement in CRC 1442 reflects his leadership in geometric research. While specific advising details are not provided, his extensive publications suggest active mentorship in advanced mathematical research. Labs/Teams: Collaborates within the Mathematics Münster research group and the CRC 1442 team, focusing on geometric and arithmetic structures.
Michael Murrell is an Associate Professor of Biomedical Engineering at Yale University, with additional appointments in the Physics Department and the Molecular, Cellular and Developmental Biology Track. He holds a B.S. from Johns Hopkins University and a Ph.D. from MIT. His research focuses on understanding cellular mechanics through biomimetic systems and soft matter physics, aiming to bridge biological principles with technological innovation. Key interests include the mechanical basis of cell division, migration, and energy dynamics in cytoskeletal networks. Selected honors include the Postdoctoral Fellowship from the Institute for Complex Adaptive Matter (2010–2012), an NIH Biotechnology Training Grant (2005–2008), and the MIT Presidential Fellowship (2004). His lab, the Laboratory of Living Matter, investigates how physical properties of cells drive life processes, using tools from synthetic biology and computational modeling. Recent work explores energy localization in cytoskeletal networks and mechanical memory in actin systems. Publications highlight advancements in actomyosin contractility, cortical flows, and biophysical energy conversion. The lab actively seeks PhD students and postdocs to join interdisciplinary projects at the Yale Systems Biology Institute and the Physical Engineering and Biology Program.
Cong Ling is a Professor of Information Theory and Cryptography at Imperial College London's Department of Electrical and Electronic Engineering, within the Faculty of Engineering. His research focuses on lattice theory and its applications in coding, cryptography, quantum information, and number theory. Key affiliations include the Academic Centre of Excellence in Cyber Security Research and the Engineering Secure Software Systems group. Education details are not explicitly provided in the text, but his professional experience indicates advanced qualifications in electrical engineering and mathematics. Research interests span lattice-based cryptography, post-quantum security, algebraic coding theory, and quantum-resistant algorithms. His work bridges information theory and number theory, with contributions to MIMO systems, secure communication protocols, and cryptographic protocol design. Recent publications emphasize lattice reduction techniques, quantum algorithms for the shortest vector problem, and advancements in polar codes. Notable trends include exploration of non-commutative algebras for cryptography, Gaussian sampling optimizations, and hybrid quantum-classical approaches to hard integer problems. Over 50+ articles published since 2018 reflect his leadership in lattice-based research and quantum-safe technologies. Awards: None explicitly listed in the text. Grants/Advising: No specific grants or student advisees mentioned; focus remains on collaborative research outputs. Labs/Teams: Associated with Imperial's Cyber Security Research groups and quantum engineering initiatives.
Igor Kriz is a Professor of Mathematics at the University of Michigan, specializing in algebraic topology. He is affiliated with the Department of Mathematics within the College of Literature, Science, and the Arts (LSA). His research focuses on advanced topics in algebraic topology, particularly stable homotopy theory and related areas. Kriz received his Ph.D. from Charles University in 1988. His academic journey has led him to become a prominent researcher in algebraic topology, with significant contributions to the field over several decades. Professor Kriz's primary research interests lie in algebraic topology , which studies topological spaces through algebraic invariants. He specializes in equivariant stable homotopy theory, Mackey functors, cobordism, and motivic homotopy theory . His work involves calculations of stable homotopy groups and other generalized homology theories, including Morava K-theories of classifying spaces of finite groups. He has made significant contributions to the study of operads and structures up to homotopy, with applications extending to differential geometry and physics, particularly string theory. His research often bridges multiple mathematical disciplines, creating connections between topology, algebra, and geometry. His recent publications (2022-2025) demonstrate a strong focus on equivariant topology and its connections to algebraic structures. Kriz frequently collaborates with researchers like P. Hu, P. Somberg, and others, producing work that explores the intersection of homotopy theory with representation theory and algebraic geometry. His research program shows consistent evolution from foundational work in stable homotopy to more recent applications in motivic contexts and topological Hochschild homology. Professor Kriz teaches both undergraduate and graduate courses at the University of Michigan. His teaching portfolio includes Math 425 (Introduction to Probability), Math 592 (Introduction to Algebraic Topology), and advanced graduate courses Math 695 and Math 696 (Algebraic Topology I and II). His course materials are regularly updated, reflecting his commitment to education in mathematical topology. Based in East Hall (room 3846) at the University of Michigan, Professor Kriz maintains an active research program while contributing to the academic community through teaching and mentorship. His work continues to advance our understanding of complex topological structures and their algebraic representations.
Amy E. Fraley is an Assistant Professor at ETH Zürich, Department of Chemistry and Applied Biosciences, and leads the Medicinal Chemistry Research Group. Her cross-disciplinary work bridges natural products biosynthesis, pharmaceutical sciences, and environmental sustainability through enzymatic chemistry and biotechnology. BSc in Chemistry, Millersville University of Pennsylvania (2014) PhD in Medicinal Chemistry, University of Michigan College of Pharmacy (2019) Postdoctoral work at ETH Zürich Institute of Microbiology under Prof. Jörn Piel Her research focuses on harnessing biosynthetic enzymes (e.g., halogenases, monooxygenases, Diels-Alderases) to create sustainable bioactive metabolites. She explores natural product biosynthesis in fungi and marine bacteria, targeting disease mechanisms and green chemistry applications. Recent work includes metagenomic studies of Lake Chilika microbial mats and polyketide synthase engineering. Notable scientific awards include the 2024 JSP Fellow at Bürgenstock Conference, 2018 Rackham Predoctoral Fellowship, and multiple University of Michigan honors. Her group secured funding from the ETH4D Doctoral Mentorship Grant and Messerli Foundation . Collaborations span structural biology, synthetic chemistry, and microbiology, with key contributions to flavoenzyme characterization and bioactive compound libraries . The lab emphasizes interdisciplinary training and innovation in biocatalytic tools for organic synthesis.
