Fred B. Schneider is the Samuel B. Eckert Professor of Computer Science at Cornell University , where he has been a faculty member since 1978. His career spans foundational work in trustworthy systems , fault-tolerant distributed systems , and system security . He served as department chair from 2014–2018 and previously earned a B.S. in Engineering from Cornell (1975) and a Ph.D. in Computer Science from Stony Brook University (1978).
Jeroen Tromp serves as the Blair Professor of Geology and Professor of Geosciences and Applied and Computational Mathematics at Princeton University, where he also directs the Princeton Institute for Computational Science and Engineering (PICSciE). His work centers on theoretical and computational seismology with applications across Earth and planetary sciences. His research interests focus on imaging Earth's interior through advanced computational techniques. Key areas include surface waves, free oscillations, body waves, seismic tomography, numerical simulations of 3-D wave propagation, and seismic hazard assessment. His group develops open-source software for acoustic, elastic and poroelastic wave propagation, addressing problems in exploration geophysics, regional and global seismology, and helioseismology. Current research trends show strong emphasis on Mars seismology (InSight mission), iron spin crossover in the lower mantle, tilted transverse isotropy in Earth's inner core, and crosstalk-free waveform inversion techniques across multiple scales. Tromp actively mentors graduate students and leads collaborative projects involving seismic wavefield imaging across planetary bodies. His group maintains strong connections with NASA's InSight mission and develops computational frameworks for global centroid moment tensor inversions. The research team operates within the Department of Geosciences, leveraging high-performance computing resources through PICSciE to tackle large-scale inverse problems in seismology.
Daniel A. Spielman is a Sterling Professor of Computer Science, Statistics & Data Science, and Mathematics at Yale University. He serves as the inaugural James A. Attwood Director of the Institute for Foundations of Data Science (FDS) and was previously co-Director of the Yale Institute for Network Science (YINS). He is also a member of TILOS, the NSF Institute for Learning-Enabled Optimization at Scale. His research interests span Spectral Graph Theory, Algebraic Graph Theory, Laplacian Matrices, Expander Graphs, and Random Walks on Graphs. Spielman has made fundamental contributions to understanding the mathematical foundations of data science, including work on smoothed analysis of algorithms, spectral sparsification, and solutions to the Kadison-Singer problem. Spielman's publications demonstrate a consistent focus on developing efficient algorithms with strong theoretical foundations. His work bridges pure mathematics, theoretical computer science, and practical applications in network analysis and machine learning. His research has evolved from foundational work on smoothed analysis to recent contributions in experimental design using discrepancy theory. His scientific honors include: Nevanlinna Prize for contributions to mathematical aspects of computer science Two Gödel Prizes (2008 and 2015) for outstanding papers in theoretical computer science MacArthur Fellowship ('Genius Grant') Simons Investigator award Membership in the National Academy of Sciences and American Academy of Arts and Sciences Spielman has advised numerous PhD students who have gone on to prominent positions in academia and industry. His teaching includes advanced courses in Spectral Graph Theory and Computation and Optimization. He has developed important software packages like Laplacians.jl for solving Laplacian linear equations and related problems.
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. Halis Aydemir is a Professor at the Department of Basic Islamic Sciences in Dumlupınar University's Faculty of Theology. He holds concurrent administrative roles including Vice Rector (2015–2019), Dean of the Faculty of Islamic Sciences (2015–2020), and Head of the Hadith Department. His academic journey includes a BSc in Electrical Engineering (Istanbul Technical University, 1995) and a PhD in Basic Islamic Sciences (Uludağ University, 2004). His research focuses on applying probability theory to Hadith transmission systems, developing mathematical models for inheritance calculations in Islamic law, and Arabic language education. Notable projects include the 'Al-Musnad al-Sahih' manuscript verification (2002–2012) and multiple inheritance calculation software projects. He has authored over 80 publications including critical editions of Hadith collections and theoretical works on Hadith reliability. Awards: No scientific awards explicitly mentioned. Administrative roles include leadership in religious affairs projects and educational software initiatives. Research highlights include probabilistic analysis of narrator reliability, isnad model evaluation, and digital tools for Islamic legal calculations. His work bridges traditional Islamic scholarship with modern quantitative methods.
Clark Olson is a Professor in the Division of Computing & Software Systems at the University of Washington Bothell, part of the School of Science, Technology, Engineering & Mathematics. He earned his Ph.D. in Computer Science from UC Berkeley (1994), M.S. in Electrical Engineering (1990), and B.S. in Computer Engineering (1989) from the University of Washington, Seattle. Education: Ph.D. in Computer Science (2017) from University of California, Berkeley M.S. in Electrical Engineering (1990) from University of Washington, Seattle B.S. in Computer Engineering (1989) from University of Washington, Seattle His research focuses on computer vision, robot navigation, and clustering algorithms. He has developed techniques for Mars rover terrain mapping, subspace clustering, and geometric feature matching. His work bridges theory and application in autonomous systems and image analysis. Analysis of his publications reveals expertise in computer vision (8 papers), clustering algorithms (4 papers), and robotics (5 papers). Key subtopics include Mars exploration (3 papers), Hough transforms (3 papers), and probabilistic methods (3 papers). Professor Olson teaches courses ranging from introductory programming (CSS 161-162) to advanced topics in computer vision (CSS 487-587) and algorithm design (CSS 549). He also advises on the CSSE Capstone (CSS 497) projects requiring rigorous prerequisites and structured evaluation criteria.
Prof. Dr. Barbara Kraus is the Chair of Quantum Algorithms and Applications at the Technical University of Munich (TUM), affiliated with the TUM School of Natural Sciences. She previously held academic positions at the University of Innsbruck, where she founded her research group in 2010. Education : Physics and Mathematics at the University of Innsbruck; Post-doctoral work at MPI for Quantum Optics and University of Geneva. Her research focuses on foundational problems in quantum information theory, particularly entanglement in multipartite systems, quantum simulation, and verification of quantum processors. She develops theoretical tools for quantum many-body systems and explores applications in quantum computing, emphasizing error characterization and experimental validation. Recent publications highlight advancements in Hamiltonian learning, symmetry-resolved entanglement detection, and multipartite state transformations. Her work bridges theoretical quantum physics with practical implementations, including Rydberg platforms and quantum metrology. Key Awards : START Prize (2010), Ignaz L. Lieben Award (2013), Boltzmann Prize (2011), Südtiroler Sparkasse Research Prize (2019). She supervises doctoral students and postdocs in quantum information theory, with a focus on stabilizer states, quantum networks, and entanglement measures. Her courses at TUM include Quantum Information , Quantum Algorithms , and workshops on entanglement manipulation.
Aaron D. Ames is the Bren Professor of Mechanical and Civil Engineering, Control and Dynamical Systems, and Aerospace at the California Institute of Technology (Caltech). He serves as the Booth-Kresa Leadership Chair and Director of the Center for Autonomous Systems and Technologies since 2025. His academic journey includes a BS in Mechanical Engineering and BA in Mathematics from the University of St. Thomas (2001), followed by an MA in Mathematics and a PhD in Electrical Engineering and Computer Sciences from UC Berkeley (2006). Research Interests span theoretical and experimental work in hybrid systems, nonlinear control, and bipedal robotic locomotion. Specific focus areas include: Control Barrier Functions (CBFs) for safety-critical systems Powered prostheses and robotic assistive devices Legged locomotion for bipedal and quadrupedal robots Cyber-physical systems and autonomous control Model predictive control and real-time optimization Humanoid robotics and geometric safety filters Recent publications emphasize risk-aware control, safety verification, and locomotion on constrained environments, with applications to drones, exoskeletons, and quadrupedal robots. His work often integrates theoretical advancements with practical validation through the AMBER Lab. Scientific Awards & Honors : NSF CAREER Award (2010) Donald P. Eckman Award (2015) Leon O. Chua Award (2005) Bernard Friedman Prize (2006) Teaching includes graduate courses on nonlinear control, hybrid systems, and robotics at Caltech, alongside prior roles at Georgia Tech and Texas A&M. He leads the AMBER Lab (Bipedal Robotics) and has secured major grants from the National Science Foundation, NASA, and industry partners like Miso Robotics and SRI International.
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.
Karoline Faust is an Associate Professor at KU Leuven, affiliated with the Laboratory of Molecular Bacteriology (Rega Institute) and the Faculty of Medicine . She contributes to the iSi Health and Leuven One Health institutes, and serves on senior academic councils. Her research spans microbial systems biology, focusing on community dynamics and network analysis. Education: PhD in bioinformatics (2010, KU Leuven) Affiliations: KU Leuven, ISME Journal editorial board, Belgian Society for Microbiology Her research investigates microbial community dynamics , systems biology approaches to microbiomes, and bioinformatics tool development . She specializes in modeling human gut microbiota , synthetic microbial communities , and environmental microbiomes (e.g., microplastic impacts on Daphnia microbiomes). Her work integrates metabolic modeling , network analysis , and experimental systems to understand microbial interactions. Recent publications highlight her contributions to microbial network inference , 16S rRNA sequencing protocols , microfluidics , and ecological modeling of microbiomes. She develops tools like manta , miaSim , and CoNet to analyze community structures. Teaching: Karoline co-teaches courses in microbiology, bioinformatics, and network analysis at KU Leuven, and has contributed to international workshops on microbial network inference. Scientific Engagement: She serves as Senior Editor at ISME Journal and Secretary of the Belgian Society for Microbiology .
Andrew D. White is an Associate Professor of Chemical Engineering at the Hajim School of Engineering & Applied Sciences, University of Rochester. He holds a PhD from the University of Washington (2013). His research focuses on automating scientific discovery through AI, particularly leveraging large language models (LLMs) and deep learning techniques in chemistry. His lab develops agents that integrate literature analysis, hypothesis generation, and experimental design to advance fields like molecular dynamics and drug discovery. Education: PhD in Chemical Engineering, University of Washington, 2013 BS/MS (not explicitly stated in text, inferred from career timeline) Research Interests: Large language models for scientific automation Deep learning applications in chemistry and materials science Molecular dynamics simulations Scientific agents and autonomous systems Publications: His work includes groundbreaking studies on closed-loop AI systems for chemistry, federated learning in molecular property prediction, and multi-agent systems for drug discovery. Recent highlights include the Robin system and ChemCrow tools. Awards: Recipient of the NSF Career Award (2018), NIH Outstanding Investigator Award (2020), and the Curtis Teaching Award (2019). He also advises biotech companies and serves on the National Academy of Sciences' Chemical Sciences Roundtable. Grants & Funding: Supported by DOE, NSF (multiple grants including CBET-1751471), NIH (R35GM137966), and LLNL projects. Collaborates with institutions like Argonne National Lab and Qubit Pharmaceuticals. Labs & Teams: Leads the White Lab at Rochester and co-founded FutureHouse, a nonprofit advancing AI-driven scientific discovery. Supervises a multidisciplinary team of PhD students and postdocs in computational chemistry, AI, and biophysics.
Sridhar R. Tayur is the Ford Distinguished Research Chair and University Professor of Operations Management at Carnegie Mellon University’s Tepper School of Business. He holds a Ph.D. in Operations Research from Cornell University and a B.Tech. in Mechanical Engineering from IIT Madras. His research focuses on quantum computing applications in operations research, healthcare systems optimization, and supply chain management. He has held visiting roles at MIT, Stanford, and Cornell, and founded companies like SmartOps and OrganJet. His recent work spans quantum-inspired optimization algorithms, healthcare decision support systems, and fair resource allocation policies. He has contributed to over 110 publications, including high-impact papers in Management Science , Operations Research , and IEEE Transactions . Awards include INFORMS Fellow and NAE membership. He teaches courses in quantum integer programming, healthcare operations, and service management at the Tepper School. Education: Ph.D. (Cornell), B.Tech. (IIT Madras) Research Labs: Quantum Technology Group, OrganJet Key Awards: INFORMS Fellow, NAE Member, MSOM Distinguished Fellow Teaching: MBA Operations Management, PhD Quantum Optimization, Healthcare Systems His interdisciplinary work bridges quantum computing, healthcare policy, and logistics, supported by collaborations with industry and government institutions.
Casey Reas is a Professor of Design Media Arts at the University of California, Los Angeles (UCLA), within the UCLA School of the Arts and Architecture. Previously, he served as an Associate Professor at Interaction Design Institute Ivrea (2001–2003). His academic background includes a BSc in Design from the University of Cincinnati (1996) and an MSc in Media Arts and Sciences from MIT (2001). Reas co-created the open-source programming language Processing with Ben Fry, revolutionizing visual arts and education globally. He is renowned for blending art and technology, creating generative works exhibited in institutions like the Centre Georges Pompidou and the Whitney Museum of American Art. His research focuses on computational aesthetics, algorithmic art, and digital media's intersection with music and design. Education: Bachelor of Science in Design, University of Cincinnati, 1996 Master of Science in Media Arts and Sciences, MIT, 2001 Research Interests: Reas explores the synergy between code and creativity, emphasizing generative systems, real-time visualization, and interactive installations. His work often addresses themes of randomness, pattern formation, and human-computer interaction. Notable projects include Processing language development, music video collaborations with The National, and immersive installations like Sketch Machine and Warm Up . Recent Collaborations: Music videos for The National’s Sleep Well Beast (2017), blending algorithmic visuals with Grammy-winning music. Interactive installations such as Impure Functions (2017) and Warm Up (2017), co-created with UCLA’s Conditional Studio. Public commissions like Sketch Machine (2018), an open-source drawing tool for GIPHY. Awards: Contributor to The National’s Grammy Award for Best Alternative Music Album ( Sleep Well Beast , 2018). Labs/Teams: Reas leads the Reas Studio and collaborates with UCLA’s Arts Conditional Studio, focusing on experimental software, generative art, and interdisciplinary projects.
Peter Benner is a Professor and Director at the Max Planck Institute for Dynamics of Complex Technical Systems in Magdeburg, where he leads the Computational Methods in Systems and Control Theory group. He also holds an Honorarprofessor position for Mathematics at Otto-von-Guericke Universität Magdeburg since 2011. Benner has previously served as Managing Director of the Max Planck Institute during multiple periods (2013-2014, 2021-2022, and 2025-2026), demonstrating his leadership in the field. Benner's research focuses on Scientific Machine Learning, Numerical Linear and Multilinear Algebra, Model Order Reduction and Reduced-order Modeling, Numerical Methods in Systems and Control Theory, PDE Constrained Optimization, High-performance and Power-aware Computing, and Mathematical Software development. His work bridges theoretical mathematics with practical engineering applications, particularly addressing challenges in large-scale dynamical systems. Analysis of his recent publications reveals a strong emphasis on developing efficient computational methods for complex systems. Benner has pioneered approaches combining model order reduction with tensor methods to tackle high-dimensional problems in uncertainty quantification and PDE-constrained optimization. His work shows a consistent trend toward integrating data-driven techniques with traditional model-based approaches, particularly for nonlinear and parametric systems. Throughout his career, Benner has actively mentored students and collaborated with researchers worldwide, delivering numerous invited talks at prestigious institutions and conferences across Europe, North America, and Asia. His research has received significant funding, supporting the development of mathematical software and computational methods for industrial applications. Benner leads the Computational Methods in Systems and Control Theory department at the Max Planck Institute, which focuses on developing and implementing advanced numerical methods for large-scale dynamical systems. The group maintains strong connections with both theoretical mathematics and practical engineering applications, particularly in fluid dynamics, energy systems, and control theory.
R. Edwin García is a Professor at the School of Materials Engineering at Purdue University, where he has been faculty since 2005. He holds appointments in the Materials Engineering department within Purdue's College of Engineering, specifically in the School of Materials Engineering located in the Neil Armstrong Hall of Engineering at Purdue's West Lafayette campus. His educational background includes: B.S. in Physics from the National University of Mexico (1996) M.S. in Materials Science and Engineering from Massachusetts Institute of Technology (2000) Ph.D. in Materials Science and Engineering with a minor in Applied Mathematics from Massachusetts Institute of Technology (2003) Professor García's research focuses on the design of materials and devices through the development of a fundamental understanding of the solid state physics of individual phases, their short and long range interactions, and associated microstructural properties and time evolution. His current research emphasizes establishing relationships between material properties and resultant performance and degradation in electrochemical systems. He integrates computational approaches ranging from kinetic Monte Carlo, phase field and level set methods, to finite elements, finite volumes, and symbolic computing. His work particularly addresses microstructure design, crystallographic texture, and grain boundary science and engineering to control the topology of underlying phases and establish practical relations between processing, microstructure, and material properties. His recent publications demonstrate a strong focus on lithium-ion battery technology, ferroelectric materials, and computational modeling of material behaviors. The research trends show increasing integration of machine learning with traditional computational methods, exploration of novel sintering techniques like flash sintering, and deeper investigation into the fundamental mechanisms of material degradation in energy storage systems. His work spans multiple length scales from atomistic to continuum modeling, reflecting a comprehensive approach to materials design and analysis. Professor García teaches several courses including MSE 230 (Structure and Properties of Materials), MSE 350 (Thermodynamics of Materials), MSE 597G (Modeling and Simulation of Materials), MSE 597I (Introduction to Computational Materials), and MSE 597N (Physical Properties of Crystals). He mentors graduate students in areas related to computational materials science, battery technology, and microstructural evolution. His research group, the Laboratory of Computational Microstructures, focuses on developing home-grown analytical theories and algorithms to resolve relevant time and length scales in materials systems. The group's work has significant implications for portable power sources, including rechargeable batteries and fuel cells, as well as for ferroelectric ceramic applications.
