Aram Harrow is a Professor of Physics at the Massachusetts Institute of Technology (MIT) , affiliated with the MIT Center for Theoretical Physics and MIT Center for Quantum Engineering . He focuses on quantum information science and quantum algorithms , with additional interests in representation theory and optimization . His recent work explores quantum computing applications in chemical physics and statistical mechanics . Undergraduate and graduate degrees in Physics at MIT Faculty positions: MIT (2013-present), University of Washington (2010-12), University of Bristol (2005-10) Research Interests: His work bridges quantum information theory and many-body physics , including: Quantum algorithm design for chemistry and optimization Quantum circuit complexity and t-designs Entanglement dynamics in quantum systems Quantum-classical hybrid computing models Key Publications: Recent articles demonstrate quantum speedups for biomolecular free energy calculations , Hamiltonian simulation , and jet clustering algorithms . His research combines quantum complexity theory with practical implementations on near-term quantum devices. Scientific Awards: 2023 Simons Investigator 2018 APS Bennett Award 2017 IEEE Best Paper Award 2016 Kavli Frontiers Fellow Mentorship: He advises current PhD students Shankar Balasubramanian , Angus Lowe , and Norah Tan , with 12 former advisees including Anand Natarajan and Saeed Mehraban . His 2026 recruitment seeks one new graduate student.
Monika Henzinger is Professor at the Institute of Science and Technology Austria (ISTA), heading the research group of Theory and Applications of Algorithms. She also serves as Vice President for Technology Transfer at ISTA since 2024. Previously, she held professorships at the University of Vienna (2009-2023) and EPFL, Switzerland (2005-2009), was Director of Research at Google (1999-2005), and served as Assistant Professor at Cornell University. Professor Henzinger's research centers on efficient algorithms and data structures with three main thrusts. First, she investigates dynamic settings where program inputs are repeatedly updated, seeking solutions faster than restarting computations. Second, she develops privacy-preserving algorithms that add minimal noise to protect input data while maintaining efficiency. Third, she translates theoretically optimal algorithms into practical implementations for dynamically changing inputs. Her work consistently addresses resource conservation in data processing, particularly computing time and memory space, while exploring the theoretical limits of possible savings. Henzinger's recent publications (2024-2025) reveal strong trends in dynamic algorithms, differential privacy, and graph theory. Her research consistently bridges theoretical computer science with practical applications, focusing on algorithms that adapt to changing inputs while preserving computational efficiency and data privacy. She has made significant contributions to problems like dynamic matching, minimum cut computation, and privacy-preserving data analysis across various domains. Professor Henzinger has received numerous prestigious awards and honors: Wittgenstein Award (2021) Two ERC Advanced Grants (2014, 2021) Carus Medal of the German Academy of Sciences Leopoldina (2019) SIGIR Test of Time Award Fellow of the Association of Computing Machinery (2016) Member of the Austrian Academy of Sciences (2017) CAREER Development Award of the National Science Foundation Best paper Award at the Symposium on Discrete Algorithms (2024) Professor Henzinger currently advises PhD students Bardiya Aryanfard, Antoine El-Hayek, and Roodabeh Safavi Hemami, along with postdocs Anamay Chaturvedi and Niklas Hahn. Her research is supported by multiple significant grants including an ERC Advanced Grant for 'Design and Evaluation of Modern, Fully Dynamic Data Structures,' the FWF Wittgenstein Prize, and the WEAVE Project on 'Static and dynamic hierarchical graph decompositions.' She also serves as Principal Investigator for the FWF project 'Fast algorithms for a reactive network layer,' providing substantial funding for her innovative work in algorithms and data structures. Professor Henzinger leads the Theory and Applications of Algorithms research group at ISTA, which focuses on developing practical algorithms for dynamic environments. Her team investigates resource conservation in data processing, specializing in dynamic algorithms that efficiently handle changing inputs, privacy-preserving algorithms that minimize noise while protecting data, and translating theoretical algorithms into practical implementations. The group maintains a strong presence in theoretical computer science through regular publications in top conferences and journals, and collaborates extensively with institutions worldwide to advance algorithmic research.
Ciprian Manolescu is a Professor of Mathematics at Stanford University, where he joined after serving as a professor at UCLA since 2008. He holds both his undergraduate degree and doctorate from Harvard University, advised by Peter Kronheimer. His research focuses on gauge theory, low-dimensional topology, and symplectic geometry, with notable contributions to Heegaard Floer theory, Khovanov homology, and the resolution of the Triangulation Conjecture. Manolescu’s academic accolades include the 2019 E.H. Moore Research Article Prize, the 2012 European Mathematical Society Prize, and a 2004 Clay Research Fellowship. He delivered an invited lecture at the 2018 International Congress of Mathematicians and became a Fellow of the American Mathematical Society in 2017. His work bridges advanced algebraic structures with geometric problems, particularly in understanding manifold invariants and topological constraints. His teaching includes the Polya Problem Solving Seminar (Math 193) at Stanford, and he advises students competing in the Putnam Mathematics Competition. Research trends in his publications emphasize applications of Floer homology to knot theory, 4-manifold topology, and the interplay between algebraic topology and quantum field theories. Education: PhD and BA in Mathematics, Harvard University Key Research Themes: Floer homology frameworks, geometric topology, knot invariants, and manifold classification Grants & Collaborations: Involved in NSF-funded projects like the FRG: Collaborative Research: Floer Homotopy Theory (2016)
Rahul Sarkar is a Postdoctoral Fellow at the University of California, Berkeley, affiliated with the Department of Mathematics . He was previously a Ph.D. student in the Institute for Computational and Mathematical Engineering (ICME) at Stanford University, graduating in 2022 under the advisement of Biondo Biondi and András Vasy. Research Interests : Quantum information theory, inverse problems, machine learning, microlocal analysis, and numerical methods for PDEs. Scientific Contributions : Developed novel quantum computing algorithms and numerical schemes for geophysical imaging, with applications in seismic tomography and quantum signal processing. Teaching : Taught courses at Stanford including Introduction to Quantum Computing and 3D Seismic Imaging , with roles as instructor and course assistant. Awards : Schlumberger Innovation Fellowship (2019-2020). His work bridges mathematical analysis and quantum computation , with a focus on solving real-world problems through interdisciplinary approaches. He has collaborated with institutions like IBM and Schlumberger to apply quantum algorithms to geoscience and financial optimization.
Asaf Ferber is Associate Professor in Mathematics at University of California, Irvine, School of Physical Sciences. His research spans discrete mathematics including combinatorial games, random graphs, extremal hypergraph theory, and quantum computation. Research explores Hamiltonian cycles in random graphs, structural properties of pseudorandom graphs, and quantum algorithms for combinatorial problems. Recent work develops quantum approaches to graph learning and sparse recovery in random matrices. Awards: NSF CAREER Award Sloan Fellowship Distinguished Early Career Faculty Award for Research Air Force Research Grant NSF-BSF Grant Organizes conferences including SoCalDM Symposium and Desert Discrete Math Workshop, mentoring graduate students through UCI's Probability and Combinatorics Seminar.
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.
Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.
Howard Elman is a Professor in the Department of Computer Science at the University of Maryland, with affiliations to the Institute for Advanced Computer Studies (UMIACS) and as an Affiliate Professor in the Department of Mathematics. His research spans numerical analysis, computational fluid dynamics, and uncertainty quantification, focusing on iterative solvers for partial differential equations. Education: PhD in Computer Science, Yale University (1982); BA in Mathematics, Columbia University (1975); Stuyvesant High School (1971) Elman's research integrates Scientific Computing with Numerical Linear Algebra , Computational Fluid Dynamics , and Uncertainty Quantification . His work addresses Stochastic Galerkin Methods , Reduced-Order Modeling , and Low-Rank Approximations for PDEs with random data. Recent publications emphasize Surrogate Models and Deep Learning in Bayesian inverse problems. His scientific awards include SIAM Fellowship (2009) and roles as Associate Editor for journals like Mathematics of Computation and SIAM Journal on Scientific Computing . He served as SIAM Editor-in-Chief (1998-2004) and Vice President for Publications. Contact: helman@umd.edu | Office: 4210 Iribe Center | Courses: AMSC/CMSC 460 Computational Methods
Dr. Dmytro Matsypura is an Associate Professor in the Discipline of Business Analytics at the University of Sydney Business School. He holds a BA (Hons) from Kyiv Polytechnic Institute (KPI), an MS (Hons) from KPI, and a PhD from the University of Massachusetts Amherst. His research focuses on optimization methodologies, network science, and their applications in finance, transportation, ecology, and graph theory. He is a recipient of multiple teaching awards, including the Wayne Lonergan Outstanding Teaching Award (Early Career) in 2010. Education: PhD in Management Science, University of Massachusetts Amherst (2006) MS (Hons) in Information Systems, Kyiv Polytechnic Institute (2000) BA (Hons) in Business Administration, Kyiv Polytechnic Institute (1998) Research Interests: Dr. Matsypura’s work spans operations research and management science, with a focus on mathematical optimization and network science. His methodological contributions include developing efficient optimization algorithms, while his applied research addresses real-world challenges in finance, engineering, and ecology. Notable applications include wildfire fuel management, portfolio margining, and credit card fraud detection via graph-based models. Awards and Recognition: Teaching Excellence Award (2008, 2013, 2018) Wayne Lonergan Outstanding Teaching Award (Early Career) (2010) Grants and Projects: Current projects include Bushfire Analytics: Optimization of Fuel Reduction (2023, ARC Discovery Project). His research frequently integrates interdisciplinary collaborations, such as applying graph theory to biomedical problems and cybersecurity. Labs/Teams: Active in the Sydney Environment Institute, contributing to projects at the intersection of analytics and sustainability. Collaborates with industry on fraud detection and supply chain optimization.
Florian Schäfer is an Assistant Professor at the School of Computational Science and Engineering at Georgia Tech. His research spans numerical computation, statistical inference, and competitive games, with applications in materials science, turbulence modeling, computer graphics, and computational geometry. He will join the Courant Institute at NYU in September 2025. PhD in Applied and Computational Mathematics, Caltech Bachelor’s and Master’s in Mathematics, University of Bonn His work focuses on information geometric mechanics to design structure-preserving numerical methods for continuum mechanics. This includes: State-of-the-art solvers for elliptic PDEs via Gaussian elimination and conditional independence Efficient multi-agent optimization algorithms Information geometric regularization for compressible fluid dynamics Enabling the first compressible fluid simulation exceeding 100 trillion grid cells His recent research trends integrate: Machine learning for materials science (e.g., active learning, Bayesian approaches) Stochastic modeling of microstructures and phase-field problems Neural operators for super-resolution fluid dynamics Generative models for polycrystalline material datasets Optimal transport and diffusion models for conditional density transformations High-performance computing at extreme scales Florian collaborates with researchers including Houman Owhadi, Jessie Liu, Spencer Bryngelson, Tamer Zaki, and Ali Mani. He actively presents at conferences like SIAM and UCLA seminars, and is recruiting PhD students for work at the Courant Institute starting 2025.
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.
Clay Córdova is an Associate Professor at the University of Chicago, associated with the Enrico Fermi Institute, James Franck Institute, Kadanoff Center, and Kavli Institute. His research focuses on theoretical physics, particularly quantum field theory, non-invertible symmetries, and their applications in particle and condensed matter physics. Córdova’s work explores topological phases, gauge theories, and string theory, with recent contributions to non-invertible symmetry classification and their role in phase transitions. His research interests include categorical symmetries, topological defects, and anomaly matching in quantum field theories. He has pioneered studies on soliton-particle degeneracies, anyon condensation mechanisms, and anomalies in non-invertible symmetry frameworks. Córdova’s work bridges high-energy physics with condensed matter systems, often employing advanced mathematical techniques from category theory and algebraic topology. His 2023 Sloan Research Fellowship highlights recognition of his contributions. Key research trends span non-invertible symmetries across dimensions, topological field theory applications, and interdisciplinary methods combining machine learning with lattice gauge theory. Current projects include exploring duality defects, gapped phase obstructions, and symmetry-enriched phases in (3+1)D systems.
Laura Anderson is an Associate Professor in the Department of Mathematics at Binghamton University. She holds a Ph.D. from MIT (1994) and has been affiliated with Binghamton since 2001. Her research focuses on Combinatorics and Topology, with a specialization in matroid theory, hyperplane transversals, and topological combinatorics. She teaches advanced courses such as Introduction to Combinatorics (Math 511) and Discrete Mathematics (Math 314). Her academic contributions include groundbreaking work on oriented matroids, combinatorial Grassmannians, and hyperfield applications. Anderson has advised multiple Ph.D. students, including Olakunle Abawonse, Ulysses Alvarez, and Leandro Junes, whose theses explore topics like matroid extensions and tropical phased matroids. She actively participates in academic conferences, co-organizing the Binghamton University Graduate Conference in Algebra and Topology (BUGCAT). Anderson’s research integrates algebraic topology with discrete mathematics, addressing geometric realizations, hyperfield structures, and topological invariants. Her pedagogical innovations include experimenting with flipped classroom methods in calculus education. She maintains an active presence in academic service, contributing to journal reviews and editorial work in combinatorial geometry.
John F. Canny is the Paul and Stacy Jacobs Distinguished Professor of Engineering at the University of California, Berkeley, in the Department of Electrical Engineering and Computer Science (EECS). He joined the faculty in 1987 and is affiliated with the Berkeley Artificial Intelligence Research Lab (BAIR), Berkeley Center for New Media (BCNM), and other research institutes. His research focuses on artificial intelligence, robotics, human-computer interaction, and computational geometry. Canny is renowned for developing the Canny edge detector and contributions to motion planning, privacy-preserving algorithms, and real-time simulation. Education: B.Sc. in Computer Science and Theoretical Physics (Adelaide University, 1979), B.E. (Hons) in Electrical Engineering (Adelaide University, 1980), M.S. and Ph.D. in Electrical Engineering (MIT, 1983 and 1987). Research Interests: His work spans AI, robotics (including universal planar manipulation), HCI (e.g., MultiView video conferencing), and security (privacy in collaborative filtering). He has pioneered algorithms for edge detection, non-linear FEM simulation, and computational algebra. Awards: ACM Fellow (2020), Okawa Research Grant (2003), AAAI Classic Paper Award (2002), NSF PYI (1989), Packard Fellowship (1988), and ACM Doctoral Dissertation Award (1987). Advising & Grants: Advised over 30 Ph.D. students, many of whom hold prominent roles in academia and industry. His grants include NSF and Packard funding for foundational research in robotics and computational methods. He currently teaches CS188: Introduction to Artificial Intelligence. Labs/Teams: Leads research at the Berkeley Institute of Design (BiD), focusing on RISC robotics, activity-based computing, and privacy-enhanced telepresence systems.
Prof. Baker Mohammad serves as Professor and Director of the System on Chip Lab in the Department of Computer and Information Engineering at Khalifa University. With over 15 years of industrial experience at Intel and Qualcomm designing microprocessors and DSP chips, he bridges academic research with real-world engineering challenges in high-performance computing and low-power systems. His educational background includes: Ph.D. in Electrical and Computer Engineering, University of Texas at Austin (2008) M.S. in Electrical and Computer Engineering, Arizona State University B.S. in Electrical Engineering, University of New Mexico Dr. Mohammad's research spans cutting-edge domains where VLSI design converges with AI acceleration and emerging memory technologies . His work pioneers Memristor applications in environmental sensing (radiation, vacuum, glucose) and neuromorphic computing, while advancing energy harvesting systems for wearable electronics. The integration of in-memory computing with security primitives represents a paradigm shift in hardware design, moving beyond traditional CMOS limitations. His publication trajectory reveals accelerating focus on self-powered neuromorphic systems and RRAM-based architectures, with recent work (2021-2023) emphasizing hardware-software co-design for edge AI. Over 75% of his recent publications involve cross-disciplinary collaborations spanning materials science, chemistry, and biomedical engineering. Notable scientific recognition includes: IEEE TVLSI Best Paper Award 2016 IEEE MWSCAS Myrill B. Reed Best Paper Award Qualcomm Qstar Award for Performance Leadership KUSTAR IP Excellence Award Multiple SRC Techon Best Session Papers As a dedicated mentor, he has supervised over 15 graduate students while securing competitive funding from Khalifa University, ADEK, Qualcomm, Tii, and UAE space agencies. His grant portfolio demonstrates exceptional translational impact, converting fundamental research in memristive devices into drone flight computers and medical sensors. Current projects integrate academic rigor with industrial deployment timelines. The System on Chip Lab operates as a multidisciplinary hub where semiconductor physicists collaborate with AI researchers to develop RISC-V-based secure processors and piezoelectric nanogenerator systems. Recent expansions include partnerships with Tii for aerospace applications and medical device startups for glucose monitoring technology.
