Professor Catherine Greenhill is a faculty member at the School of Mathematics and Statistics, UNSW Sydney , where she serves as Professor and head of the Combinatorics group. Her academic career spans institutions including the University of Queensland, University of Oxford, University of Leeds, University of Melbourne, and Australian National University. D.Phil., University of Oxford (1996) M.Sc. (Research) in Combinatorics (1992) B.Sc. (Hons) in Pure Mathematics (1991) Her research focuses on the intersection of discrete mathematics , theoretical computer science , and probability , particularly in asymptotic combinatorics , probabilistic methods , and analysis of algorithms . Her work includes asymptotic enumeration of combinatorial structures and design of randomized algorithms for graph sampling and counting. Her recent publications (2025–2021) center on random graphs and hypergraphs , with key contributions to switch Markov chains , degree sequence analysis , and chromatic number bounds . These works reflect her expertise in probabilistic combinatorics and algorithmic complexity . Scientific Awards: Fellow of the Australian Academy of Science (2022) Christopher Heyde Medal in Pure Mathematics (2015) June Griffith Fellowship (2013) Hall Medal (2010) Advising and Grants: She has supervised numerous PhD/Masters students and secured multiple ARC Discovery Grants (2019–2021, 2014–2016, 2012–2014). Her grants address topics like hypergraph modeling, random discrete structures, and network analysis in illicit drug trafficking.
Yang P. Liu is an Assistant Professor at Carnegie Mellon University 's Department of Computer Science . He received his PhD from Stanford University under the supervision of Aaron Sidford and previously studied at MIT . Fields of Interest : Graph Algorithms, Optimization, High-Dimensional Geometry, Additive Combinatorics, Theoretical Computer Science. His research focuses on algorithmic design and analysis for graph problems, optimization, and combinatorics, with applications in machine learning and complexity theory. Recent work includes advancements in parallel repetition games , combinatorial lines , and dynamic graph algorithms . In 2024, his research spanned FOCS , STOC , and RANDOM conferences, addressing problems in k-CSPs , min-cost flow , and hypergraph sparsification . Earlier contributions (2023) included deterministic flow algorithms and spectral hypergraph techniques. Scientific Awards : NDSEG Fellowship (2018-2021), Google PhD Fellowship (2022-2023), FOCS Best Paper (2022), STOC Best Student Paper (2022), FOCS Best Student Paper (2021). He teaches CS 15-759 , a graduate course on convex optimization theory and applications, covering gradient descent, interior point methods, and algorithmic sparsification techniques.
Satish Rao is a Professor in the Computer Science Division at the University of California, Berkeley. He is affiliated with the Simons Institute for the Theory of Computing and the Center for the Theoretical Foundations of Learning, Inference, Information, Intelligence, Mathematics and Microeconomics at Berkeley (CLIMB). His research focuses on algorithms, combinatorial optimization, graph theory, and theoretical computer science with applications to computational biology and machine learning. Rao has held teaching roles for courses such as CS 70 (Discrete Mathematics and Probability Theory) and CS 270 (Spring 2024). He has been recognized with prestigious awards including ACM Fellow (2013), the Delbert Ray Fulkerson Prize (2012), and the Okawa Research Grant (1999). Research Interests: Algorithm design, graph algorithms, combinatorial optimization, computational biology, and machine learning. Key Contributions: Pioneering work on metric embeddings, approximation algorithms, and network flow problems. Notable publications include foundational papers on tree metrics, distributed object location, and electrical flow-based optimization. Rao’s work bridges theoretical computer science with practical applications, including contributions to phylogeny estimation, anomaly detection, and parallel computing frameworks like the BSP model.
Venkatesan Guruswami is a Chancellor's Professor in the Department of EECS and a Senior Scientist at the Simons Institute for the Theory of Computing at UC Berkeley . He also holds a Professor position in the Department of Mathematics . His academic journey began with a B.Tech in Computer Science from the Indian Institute of Technology, Madras (1997) , followed by a Ph.D. in Computer Science from the Massachusetts Institute of Technology (2001) . After a Miller Research Fellowship at UC Berkeley (2001–02), he held faculty roles at the University of Washington and Carnegie Mellon University before returning to UC Berkeley in January 2022. Education : B.Tech, IIT Madras (1997) Ph.D., MIT (2001) Professional Affiliations : Chancellor's Professor, UC Berkeley (EECS) Senior Scientist & Interim Director, Simons Institute Professor, UC Berkeley (Mathematics) Guruswami's research spans multiple domains within Theoretical Computer Science , focusing on Error-Correcting Codes , Approximation Algorithms , Randomness in Computing , Probabilistically Checkable Proofs , and Computational Complexity . His groundbreaking work in List Decoding has enabled codes with minimal redundancy for correcting worst-case errors, while recent advancements include Polar Codes , Deletion-Correcting Codes , and Constraint Satisfaction Problems . He has also contributed to Quantum Coding Theory , Locally Recoverable Codes , and Approximation Hardness in various computational contexts. His publications reflect a deep engagement with interdisciplinary topics. Key trends include: Quantum Information Theory : Quantum LDPC codes, transversal gates, and quantum storage. Algebraic Coding : Reed-Solomon codes, AG codes, and polynomial-based constructions. Computational Complexity : Hardness of approximation, CSPs, and parameterized intractability. Data Transmission : Polar codes, deletion channels, and feedback mechanisms. Algorithmic Techniques : Spectral methods, semirandom models, and Lasserre hierarchy applications. Guruswami has received numerous accolades, including the Simons Investigator Award , Presburger Award , Packard Fellowship , Sloan Research Fellowship , ACM Doctoral Dissertation Award , and the IEEE Information Theory Society Paper Award . He is an ACM Fellow (2017) and IEEE Fellow (2019) , with recent honors like the Guggenheim Fellowship (2023) and AMS Fellow (2023) . As an advisor, he has mentored over 25 PhD and postdoctoral researchers , including Atri Rudra , Prasad Raghavendra , and Peter Manohar , whose work has won awards like the Edmund M. Clarke Doctoral Dissertation Award and CRA Outstanding Undergraduate Researcher Award . His research is supported by grants from the National Science Foundation , Packard Foundation , and Sloan Foundation . He also serves as Editor-in-Chief of the Journal of the ACM and holds leadership roles in IEEE and arXiv moderation. Guruswami is actively involved in Simons Institute programs and co-organized workshops on Coded Computation and Information Theory . His work bridges theoretical advancements with practical applications in Cloud Storage , Quantum Computing , and Group Testing , including pandemic-era contributions like AC-DC: Amplification Curve Diagnostics for SARS-CoV-2 .
Albert Atserias is a Professor in the Department of Computer Science at the Universitat Politècnica de Catalunya (UPC), affiliated with the Faculty of Informatics of Barcelona (FIB) and the ALBCOM research group (Algorithms, Bioinformatics, Complexity, and Formal Methods). He is also associated with the Institut de Matemàtiques de la UPC-BarcelonaTech. His research is central to theoretical computer science, with a strong emphasis on logic and complexity. Atserias's research interests span Computational Complexity, Logic in Computer Science, Finite Model Theory, Proof Complexity, and Constraint Satisfaction Problems . His work explores the fundamental limits of computation, the expressive power of logical languages over finite structures, and the complexity of proving mathematical statements. He investigates the algebraic and combinatorial properties of proof systems, the limits of efficient algorithms for constraint solving, and the theoretical foundations of databases. His research often bridges logic, algebra, and combinatorics to provide deep insights into computational phenomena. The trends in his recent publications show a sustained focus on the logical and algebraic underpinnings of computational problems. Key themes include the consistency and complexity of database queries , the power and limitations of proof systems (like resolution and sum-of-squares), and the expressive power of homomorphism counts in graph theory. His work on the hardness of automating resolution and the development of circular proof systems are particularly significant contributions to proof complexity. The 2024 PODS Best Paper Award for work on relational consistency underscores the impact and timeliness of his research. Among his notable scientific awards are the prestigious ICREA Acadèmia , the PODS 2024 Best Paper Award , the Premi Extraordinari de Doctorat (Extraordinary Doctoral Prize), and the Kleene Award for Best Student Paper . These accolades reflect both the excellence of his early work and his continued leadership in the field. Atserias has been a principal investigator on numerous competitive research projects, including funding from the European Research Council (ERC) and the Spanish Ministry of Science. He has advised doctoral students, such as Toni Hakoniemi, whose thesis on proof complexity he supervised. His extensive collaborative network includes leading researchers like Phokion Kolaitis, Anuj Dawar, and Victor Dalmau. He has also served on the scientific committees of major conferences, contributing to the academic community. He is a core member of the ALBCOM research group , a leading team at UPC focused on theoretical aspects of computer science, which provides a vibrant environment for research in algorithms, complexity, and formal methods. His work is also connected to the broader Institut de Matemàtiques de la UPC, fostering interdisciplinary collaboration between computer science and mathematics.
Mohit Singh is the Coca-Cola Foundation Professor at the H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology. He previously held positions at Microsoft Research (2011-2016) and as an Assistant Professor at McGill University (2010-2012). PhD in Algorithms, Combinatorics, and Optimization (ACO) at Carnegie Mellon University His research focuses on discrete optimization , approximation algorithms , and convex optimization , with applications to combinatorial optimization, submodular functions, and network design. He has contributed to topics like Sticky Brownian Rounding, integrality gaps, and online adaptive algorithms. His recent work includes theoretical advancements in matroid constraints, dimensionality reduction, and submodular maximization. He has published extensively in top conferences such as FOCS, SODA, ICML, and NeurIPS. He has been recognized with the Coca-Cola Foundation Professorship and served as Director of the Algorithms and Randomness Center at Georgia Tech (2019-2023). He has also held editorial roles and organized key academic workshops like the Bellairs Workshop on Approximation Algorithms (2011). His teaching includes advanced courses on approximation algorithms, combinatorial optimization, and linear inequalities. He has collaborated with institutions such as Microsoft Research and McGill University.
Yang P. Liu is an Assistant Professor in the Computer Science Department at Carnegie Mellon University's School of Computer Science. Previously, he was a Postdoctoral Member at the Institute for Advanced Study and earned his PhD from Stanford University under the supervision of Aaron Sidford. He completed his undergraduate studies at MIT, graduating in May 2018. His educational background includes: PhD in Computer Science, Stanford University (Advisor: Aaron Sidford) Bachelor's degree, Massachusetts Institute of Technology (graduated May 2018) Dr. Liu's research spans the intersection of mathematics and computer science, with particular focus on graph algorithms , optimization , high-dimensional geometry , and additive combinatorics . His work often develops novel algorithmic techniques that bridge theoretical insights with practical applications. He has made significant contributions to areas such as convex optimization, linear programming, and combinatorial problems. His teaching includes courses like "A Principled Approach to Optimization" (CS 15-759), which covers rigorous treatments of convex optimization topics including gradient descent, interior point methods, linear regression, linear programming, and sparsification. His extensive publication record in top-tier conferences (FOCS, STOC, SODA) demonstrates a consistent focus on developing almost-linear time algorithms for fundamental graph problems, optimization techniques, and combinatorial theorems. Recent work shows increasing emphasis on combinatorial lines, corners theorem, and k-CSP approximability, while maintaining strong connections to optimization theory and graph algorithms. Dr. Liu has received notable recognition for his work: National Defense Science and Engineering Graduate (NDSEG) Fellowship (2018-2021) Google PhD Fellowship (2022-2023) Best Paper award at FOCS 2022 for "Maximum Flow and Minimum-Cost Flow in Almost Linear Time" Best Student Paper at STOC 2021 for "Discrepancy Minimization via a Self-Balancing Walk" His research has been supported by prestigious fellowships including the NDSEG Fellowship and Google PhD Fellowship. His work on graph algorithms, optimization, and combinatorics involves collaborations with researchers across theoretical computer science and mathematics. His publications often involve co-authors from multiple institutions, suggesting active research collaborations across the field. Dr. Liu maintains an active research program with a focus on developing efficient algorithms for fundamental computational problems. His recent work continues to push the boundaries of what's computationally feasible in graph algorithms, optimization, and combinatorial mathematics, with particular emphasis on achieving almost-linear time complexity for challenging problems.
John van de Wetering is an Assistant Professor at the Theoretical Computer Science group of the Informatics Institute, University of Amsterdam, working with the QuSoft research center. He co-authored the open-access book Picturing Quantum Software and developed the PyZX quantum compiler. His research spans quantum computation and quantum foundations, focusing on diagrammatic methods like the ZX-calculus and ZH-calculus. Quantum circuit optimization and verification Quantum foundations via algebraic/compositional methods Co-creator of PyZX His recent publications explore multi-qutrit systems, completeness of graphical calculi, and quantum state representations. Supervises students in quantum computing, including Lia Yeh and Sarah Li. Directs the new Master's program in Quantum Computer Science at UvA. Actively contributes to open-source projects and international conferences. Notable collaborations include Aleks Kissinger, Neil J. Ross, and QuSoft researchers. Uses GitHub for DiZX development (qudit extension of PyZX). No explicit scientific awards mentioned.
Venkatesan Guruswami is a Chancellor's Professor in the Department of Electrical Engineering and Computer Sciences and Professor in the Department of Mathematics at the University of California, Berkeley. He previously served as faculty at Carnegie Mellon University for 13 years and held a Miller Research Fellowship at UC Berkeley. His research focuses on Theoretical Computer Science , particularly in Error-Correcting Codes , Approximation Algorithms , Quantum Computing , and Hardness of Approximation . Guruswami has made groundbreaking contributions to list decoding and quantum code constructions, with works featured in Science Magazine and the Journal of the ACM (where he serves as Editor-in-Chief). Education : B.Tech (1997, IIT Madras), Ph.D. (2001, MIT), Miller Research Fellowship (2001-02, UC Berkeley) Research Areas : Theory of error-correcting codes, approximation algorithms, pseudorandomness, probabilistically checkable proofs, and quantum coding theory Guruswami's recent work explores quantum LDPC codes , parameterized inapproximability , and stream decodable codes . He has received prestigious awards including the NSF CAREER award , David and Lucile Packard Fellowship , and Sloan Research Fellowship . His advising spans a wide range of students and postdocs, with notable contributions to coding theory and computational complexity .
Martin Grohe is a Professor at the School of Logic and Theory of Discrete Systems , part of the Department of Computer Science at RWTH Aachen University . His research spans Algorithms and Complexity , Logic , Database Theory , Graph Theory , and Machine Learning , with a focus on integrating logical frameworks into computational models. His recent work explores graph neural networks , Weisfeiler-Leman algorithms , and parameterized complexity , as seen in publications on isomorphism testing , database repairing , and probabilistic query evaluation . While no specific scientific awards are mentioned, his contributions to graph theory and machine learning are widely recognized through numerous peer-reviewed publications.
Xi Chen is an Associate Professor in the Department of Computer Science at Columbia University. Prior to this, he was a postdoctoral researcher at the Institute for Advanced Study (Princeton University) and the University of Southern California. He holds a B.S. in Physics/Maths from Tsinghua University (2003) and a Ph.D. in Computer Science from Tsinghua University (2007), advised by Professor Bo Zhang under the guidance of the Institute for Theoretical Computer Science led by Andrew Chi-Chih Yao. His research focuses on Algorithmic Game Theory, Economics, and Complexity Theory. His work is supported by an NSF CAREER award, a Sloan Research Fellowship, and Columbia University startup funds. He has received the EATCS Presburger Award and multiple best paper awards, including at FOCS 2006, ISAAC 2009, and CCC 2017. Xi Chen has taught courses such as Analysis of Algorithms , Lower Bounds in Theoretical Computer Science , and Introduction to Computational Complexity . He co-advises current PhD students Tim Randolph and Erik Waingarten, and has graduated students like Timothy Sun (Emory University) and Xiaorui Sun (University of Illinois at Chicago). He has served on program committees for conferences like WINE, SODA, and STOC. His research spans theoretical computer science, including property testing, graph isomorphism, and fixed-point computation. He is affiliated with Columbia's Theory Group and actively participates in the Theory Seminar organized by Alex Andoni. Xi Chen's research also extends to algorithmic economics, exploring mechanisms, pricing strategies, and market equilibria. His work on complexity theory includes contributions to counting problems and circuit complexity. He maintains a lab and collaborates with researchers in theoretical computer science and algorithmic game theory.
Konstantin Makarychev is a Professor of Computer Science and Associate Chair for Graduate Studies at Northwestern University's McCormick School of Engineering. His research focuses on designing efficient algorithms for computationally hard problems, with an emphasis on approximation algorithms, beyond worst-case analysis, and applications of high-dimensional geometry. Before joining Northwestern, he was a researcher at Microsoft and IBM Research Labs, and earned his Ph.D. from Princeton University in 2007 under Moses Charikar. He holds a B.S. in Mechanics and Mathematics from Moscow State University and an M.S. from the Department of Mathematics at Moscow State University. His academic career includes roles at Microsoft Research, IBM Research, and teaching positions at the University of Washington. Research interests include approximation algorithms for constraint satisfaction problems, clustering algorithms, and algorithmic approaches to machine learning. He has published extensively in top conferences like SODA, ICML, and STOC, and his work often bridges theoretical computer science with practical applications in data storage and bioinformatics. Awards: IBM A-Level Accomplishment (2011), IBM Pat Goldberg Best Paper Award (2009), IBM PhD Fellowship (2006–2007). Grants: NSF Award CCF-1955351 (2020–2025), participation in IDEAL Institute (2019–2022). Teaching: Courses include Design and Analysis of Algorithms, Approximation Algorithms, and Advanced Algorithm Design. His work on correlation clustering, explainable k-means, and DNA data storage has led to impactful contributions in both theory and practical applications.
Professor Stefan Glock is an Assistant Professor of Discrete Mathematics at the University of Passau's Faculty of Computer Science and Mathematics, a position he has held since September 2022. Prior to this appointment, he spent three years as a Junior Fellow at the Institute for Theoretical Studies at ETH Zurich, following the completion of his doctorate at the University of Birmingham. Stefan Glock received his mathematics education at Technische Universität Ilmenau from 2009 to 2014, then pursued his PhD at the University of Birmingham, which he completed in 2018. His doctoral dissertation, "Decompositions of Graphs and Hypergraphs," was the runner-up for the Richard-Rado-Preis 2018. Professor Glock's research focuses on discrete mathematical structures, with particular emphasis on their asymptotic properties. His work spans several interconnected fields of combinatorics: Extremal Combinatorics : Investigating the maximum or minimum possible size of mathematical structures satisfying certain properties Probabilistic Combinatorics : Applying probability theory to solve combinatorial problems Graph Theory : Studying properties of graphs and networks Ramsey Theory : Examining conditions under which order must appear in large structures Design Theory : Creating arrangements of elements satisfying specific balance properties Discrete Geometry : Analyzing geometric problems with discrete structures Analysis of Professor Glock's recent publications reveals a consistent focus on solving long-standing open problems in combinatorics using innovative methods that combine probabilistic techniques with structural insights. His work often bridges theoretical mathematics with applications in theoretical computer science, particularly in the analysis of algorithms and network structures. A significant portion of his research addresses fundamental questions about graph and hypergraph decompositions, which have implications for coding theory, cryptography, and network design. Professor Glock has received notable recognition for his contributions to mathematics: Runner-up for the Richard-Rado-Preis 2018 for his dissertation "Decompositions of Graphs and Hypergraphs" Awarded funding through the prestigious DFG Emmy Noether Programme in 2024 for his research group on "the interplay of structure and randomness in mathematics" As a faculty member at the University of Passau, Professor Glock leads the Discrete Mathematics research group and actively collaborates with mathematicians worldwide. He has established a strong research program that has attracted funding for academic visitors and supports multiple research projects. His approach to mathematical problems emphasizes developing new methods that have far-reaching implications beyond the specific problems being solved. Professor Glock's research group at the University of Passau focuses on the interplay between structure and randomness in discrete mathematics. The group maintains active collaborations with leading institutions including ETH Zurich, University of Birmingham, and various research centers across Europe. Through the DFG Emmy Noether Programme funding, his group is expanding its research on combinatorial structures and their applications.
Michael Molloy is a Professor in the Department of Computer Science at the University of Toronto, with a cross-appointment to the Department of Computer and Mathematical Sciences at the University of Toronto Scarborough (UTSC). He teaches courses in Discrete Mathematics and the Probabilistic Method, including CSC/MAT A67 and CSC2427/MAT1500 . Research Focus: Graph Theory, Probabilistic Methods, Random Graphs, Constraint Satisfaction Problems, and Markov Chain analysis. His work includes foundational contributions to graph coloring, such as adaptable/conflict coloring and correspondence coloring, and exploring phase transitions in random graphs. He has supervised numerous graduate students, including Lora Hrisch, Jurgen Aliaj, and Hamed Hatami, advancing combinatorial and algorithmic research. Recent publications analyze random graph processes, the freezing threshold for k-colorings, and the resolution complexity of constraint satisfaction problems. These studies intersect theoretical computer science, combinatorics, and probabilistic modeling, often revealing deep structural insights through rigorous mathematical proofs.
University of Illinois Urbana-ChampaignUnited States
Eren C. Kızıldağ is an Assistant Professor in the Department of Statistics at the University of Illinois Urbana-Champaign, with additional affiliations in the Department of Electrical and Computer Engineering. He holds a PhD in Electrical Engineering and Computer Science from MIT, where he was part of the Laboratory for Information and Decision Systems (LIDS) and the Institute for Data, Systems, and Society (IDSS). Previously, he was a Distinguished Postdoctoral Fellow at Columbia University. His research bridges probability, statistics, and computer science, focusing on statistical-computational trade-offs in random models such as optimization problems and statistical inference. Key interests include understanding algorithmic barriers in high-dimensional problems, discrepancy theory, and neural network theory. His work often explores connections to statistical physics and combinatorial structures. Recent publications highlight contributions to topics like low-rank tensor recovery, algorithmic obstructions in partitioning problems, and geometric barriers in discrepancy minimization. His research also addresses theoretical foundations of overparameterized neural networks and hardness results for partition functions in spin glass models. Kızıldağ’s academic journey includes a Master’s from MIT and a B.S. (summa cum laude) from Bogaziçi University, with early work in MRI technology at ISMRM. His research is supported by collaborations with institutions like LIDS and IDSS, and his work frequently appears in top venues such as Annals of Applied Probability, Mathematics of Operations Research, and IEEE ISIT.
