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.
Osbert Bastani is an Associate Professor at the Department of Computer and Information Science, University of Pennsylvania, leading the trustml@Penn research group. He is affiliated with the ASSET , PRECISE , and PRiML centers, and the PLClub research group. His research focuses on Trustworthy Neurosymbolic Systems , Synthesizing Neurosymbolic Programs , and Machine Learning for Programmer Productivity , with applications in verification, fairness, and human-AI collaboration. He received the NSF CAREER Award in 2023. His recent publications (2024-2025) emphasize AI Safety , LLM Robustness , and Algorithmic Fairness , including work on adversarial robustness, conformal prediction, and program synthesis. Students he has advised include Sagnik Anupam, Stephen Mell, Jason Ma, Shuo Li, and others. Awards: NSF CAREER Award (2023)
Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science and Director of the PRECISE Center at the University of Pennsylvania's School of Engineering and Applied Science. He holds a secondary appointment in the Department of Electrical and Systems Engineering and the Perelman School of Medicine’s Department of Biostatistics, Epidemiology, and Informatics. IEEE TCCPS Distinguished Leadership Award (2023) Fellow of the AAAS (2022) Test of Time Award, Runtime Verification (2019) Fellow of the ACM (2017) Best Paper Awards at IEEE ICPS, ACM/IEEE ICCPS, and MEMOCODE His research focuses on cyber-physical systems , real-time and embedded systems , safe autonomy , and internet of medical things , with applications in healthcare and connected systems. He advises PhD students including Eric Lu, Kaustubh Sridhar, Sooyong Jang, and Jean Park (co-advised with Kevin Johnson). Recent publications address safety monitoring for learning-enabled systems, model-free control synthesis using reinforcement learning, and multilingual toxicity guardrails for large language models. His team collaborates with institutions like Hillrom and Penn Nursing to optimize medical device usage in clinical settings.
Professor Lisa Strohschein holds dual roles as a Professor in the Sociology Department and Director of Undergraduate Programs at the University of Alberta's Faculty of Arts. Her research focuses on family dynamics and health inequalities, employing longitudinal methodologies to analyze large datasets. She teaches courses on health sociology, mental illness, and socialization, emphasizing sociological perspectives on health distribution and care systems. Her research interests include the interplay between socioeconomic factors and mental health, gender disparities in marital outcomes, and generational shifts in parenting practices. She has published extensively on topics like teen pregnancy correlates, poverty dynamics, and the mental health implications of family structures. Strohschein has received the 2019-20 Killam Annual Professorship and serves as Editor-in-Chief of Canadian Studies in Population, a peer-reviewed journal focusing on demographic research. She also contributes to policy through roles like membership in Statistics Canada's Demographic Statistics Advisory Committee and past presidency of the Canadian Population Society. Her scholarly work bridges theoretical frameworks (life course, stress process theory) with methodological rigor, often using growth curve models and competing risks analysis. Current research trends emphasize cross-national comparisons and applied policy relevance, particularly in understanding how family transitions impact health across the life course.
Navid Azizan is the Alfred H. (1929) and Jean M. Hayes Career Development Assistant Professor at Massachusetts Institute of Technology (MIT), holding dual appointments in the Department of Mechanical Engineering (in Control, Instrumentation & Robotics) and the Schwarzman College of Computing's Institute for Data, Systems & Society (IDSS). He is also a Principal Investigator in the Laboratory for Information & Decision Systems (LIDS), and a faculty member of the MIT Statistics and Data Science Center, the Center for Computational Science and Engineering, and the Operations Research Center. Dr. Azizan received his PhD in Computing and Mathematical Sciences from the California Institute of Technology (Caltech) in 2020, his MSc in Electrical Engineering from the University of Southern California in 2015, and his BSc in Electrical Engineering with a minor in Physics from Sharif University of Technology in 2013. Prior to joining MIT, he completed a postdoc at Stanford University's Autonomous Systems Laboratory and was a research scientist intern at Google DeepMind. His research spans the intersection of machine learning, systems and control, mathematical optimization, and network science. Dr. Azizan's work focuses on developing principled learning and optimization algorithms for reliable intelligent systems, with applications to autonomy and sociotechnical systems. His research has significant implications for creating trustworthy AI systems that can operate effectively in complex, uncertain environments. Dr. Azizan's recent publications demonstrate a strong focus on uncertainty quantification, reliable AI systems, constrained optimization, and control-oriented learning. His work bridges theoretical foundations with practical applications, particularly in autonomous systems where safety and reliability are paramount. His research group has made notable contributions to areas including neural network verification, multi-agent reinforcement learning, and adaptive inference techniques for large language models, with several papers featured on MIT News and selected for oral presentations at top conferences. Alfred H. (1929) and Jean M. Hayes Career Development Professorship (2025-present) Frank E. Perkins Award for Excellence in Graduate Advising (2025) List of Outstanding Academic Leaders in Data from the CDO Magazine (2024, 2023) Amazon Science Hub Research Award (2023) Outstanding UROP Faculty Mentor (2023) Esther and Harold E. Edgerton (1927) Career Development Chair (2022-2025) Information Theory and Applications (ITA) Gold Graduation Award (2020) Dr. Azizan has been recognized for his excellence in graduate advising, receiving the Frank E. Perkins Award for Excellence in Graduate Advising in 2025. During the pandemic, he founded and co-organized the 'Control meets Learning' virtual seminar series, connecting researchers across disciplines. His work has attracted significant research funding from industry partners including Google, Amazon, and MathWorks, supporting both fundamental research and practical applications in reliable intelligent systems. The Azizan Lab at MIT brings together researchers from mechanical engineering, computer science, and applied mathematics to tackle challenges at the intersection of learning and control. The lab emphasizes both theoretical foundations and practical implementations, with a particular focus on developing algorithms that provide guarantees of performance and safety. Current research directions include uncertainty quantification in AI systems, constrained optimization for neural networks, and control-oriented learning for autonomous systems, with applications spanning robotics, transportation, and complex sociotechnical systems.
Kuldeep S. Meel is the Stephen Fleming Early-Career Associate Professor at the School of Computer Science, Georgia Institute of Technology, and an Associate Professor at the University of Toronto (on leave). He previously held a NUS Presidential Young Professorship at the National University of Singapore. His research focuses on automated reasoning, aiming to enable computing systems to handle uncertain real-world environments through scalable techniques integrating randomized algorithms, statistical inference, formal methods, distribution testing, and software engineering. Core research areas: Automated Reasoning, Formal Methods, Approximate Model Counting, Probabilistic Inference, Constraint Solving His research group has achieved significant recognition in both individual awards and publications. Key trends in his recent work include advancing model counting algorithms, developing frameworks for probabilistic explanations, and improving scalability in formal verification and constraint satisfaction. His tools have consistently ranked top in international competitions, demonstrating practical impact in automated reasoning. 2019 NRF Fellowship for AI 2022 ACP Early Career Researcher Award 2020 IEEE Intelligent Systems AI's 10 to Watch Top placements in Model Counting, SAT, and CAV competitions He mentors a diverse group of PhD and Master's students and collaborates with institutions worldwide. His group's publications span premier conferences in AI, formal methods, and design automation, reflecting interdisciplinary contributions to theoretical and applied computer science.
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.
Francis Bach is a Professor and researcher at INRIA, leading the SIERRA project-team since 2011, which is part of the Computer Science Department at Ecole Normale Supérieure (ENS) within PSL Research University. His work bridges CNRS, ENS, and INRIA as a joint research effort. Elected to the French Academy of Sciences in 2020, he currently runs the ERC project SEQUOIA following his previous ERC project SIERRA (2009-2014). His research spans statistical machine learning with focus on optimization, sparse methods, kernel-based learning, neural networks, graphical models, and signal processing. Bach completed his Ph.D. in Computer Science at U.C. Berkeley under Professor Michael Jordan, followed by work at Ecole des Mines de Paris and the WILLOW project-team at INRIA/ENS/CNRS (2007-2010). His recent book "Learning Theory from First Principles" was published by MIT Press in December 2024. Bach's publication record shows consistent high-impact contributions across machine learning theory and applications, with recent work focusing on conformal prediction, diffusion models, optimization theory, and learning theory foundations. His research demonstrates strong connections between theoretical guarantees and practical algorithms, with applications spanning generative modeling, robust optimization, and statistical inference. Elected to French Academy of Sciences (2020) ERC project SIERRA (2009-2014) ERC project SEQUOIA (current) Author of "Learning Theory from First Principles" (MIT Press, 2024) Bach actively mentors numerous PhD students and postdocs, with many alumni now holding faculty positions at institutions like EPFL, Ecole Polytechnique, University of Washington, and University of Montreal. His teaching includes advanced courses on learning theory at ENS's Master's programs. He regularly presents tutorials at major conferences including COLT, NeurIPS, and ICML, demonstrating his leadership in the theoretical machine learning community.
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.
Aaron Roth is the Henry Salvatori Professor of Computer and Cognitive Science at the University of Pennsylvania, affiliated with the Department of Computer and Information Science in the School of Engineering and Applied Science. He holds a secondary appointment in the Department of Statistics and Data Science at the Wharton School and is associated with several research centers including PRiML, the Warren Center for Network and Data Sciences, and the AMCS program. He received his PhD from Carnegie Mellon University under Avrim Blum and was a postdoc at Microsoft Research New England. His research focuses on algorithms and machine learning, particularly in private data analysis, fairness in machine learning, game theory, mechanism design, and learning theory. His work bridges theoretical computer science with societal concerns, advocating for ethically aware algorithm design. He co-authored the book The Ethical Algorithm with Michael Kearns, which explores how to embed social values like privacy and fairness into algorithmic systems. His recent publications show a strong trend toward uncertainty quantification, multicalibration, conformal prediction, and fairness in reinforcement learning and high-dimensional settings. He frequently publishes in top-tier venues such as STOC, FOCS, ICML, NeurIPS, and COLT, often with a focus on rigorous theoretical foundations with practical implications. Hans Sigrist Prize Presidential Early Career Award for Scientists and Engineers (PECASE) Alfred P. Sloan Research Fellowship NSF CAREER award Google Faculty Research Award Amazon Research Award Yahoo Academic Career Enhancement award Roth has advised numerous PhD students and postdocs, many of whom now hold academic or industry research positions. He is also an Amazon Scholar at AWS and has served in advisory roles for companies like Apple, Facebook, Leapyear, and Spectrum Labs. He has been active in organizing workshops and tutorials on differential privacy, fairness, and adaptive data analysis, and has given keynotes at major conferences and institutions worldwide. He leads research groups and collaborates widely across Penn, focusing on responsible AI, privacy, and algorithmic fairness. His lab produces foundational work on calibration, unlearning, privacy-preserving learning, and equitable decision-making systems.
Dominic Liao-McPherson serves as an Assistant Professor in the Department of Mechanical Engineering within the Faculty of Applied Science at the University of British Columbia. His research bridges algorithmic control, optimization theory, and computational engineering with practical applications across robotics, energy systems, and aerospace domains. His academic background includes a BASc from the University of Toronto, PhD from the University of Michigan, and postdoctoral training at ETH Zürich: BASc (University of Toronto) PhD (University of Michigan) Postdoc (ETH Zürich) Dr. Liao-McPherson's research centers on developing real-time computational decision-making algorithms for physical systems. His work spans predictive and constrained control (including model predictive control and reference governors), real-time embedded optimization, and game-theoretic coordination mechanisms for multi-agent systems. Key application areas include energy grids, autonomous vehicles, additive manufacturing, and aerospace systems, with past projects covering spacecraft landing, engine emissions control, and aircraft upset recovery. His methodology emphasizes rigorous stability analysis, constraint satisfaction, and practical implementation on resource-constrained hardware. Analysis of his 2020-2022 publications reveals a strong focus on advancing optimization-based control frameworks. His work consistently addresses stability guarantees and constraint handling in real-time systems, with increasing emphasis on distributed algorithms for multi-agent coordination. The research demonstrates a clear trajectory from theoretical algorithm development (e.g., FBstab solver) toward experimental validation in complex engineering systems like diesel engines and autonomous networks. No scientific awards are documented in the provided materials. Regarding academic advising and research funding, the source text contains no information about current students, grant awards, or sponsored research projects. He directs the Algorithmic Optimization and Control Lab (AOCL) at UBC, as evidenced by his research website (aocl.mech.ubc.ca). The lab specializes in developing computationally efficient control algorithms for embedded systems, with particular expertise in handling physical constraints and coordination challenges in multi-agent environments across energy, manufacturing, and robotics applications.
Vivek Srikumar is an Associate Professor in the Kahlert School of Computing at the University of Utah, co-leading the Utah NLP group and affiliated with the Utah Center for Data Science. His research focuses on Machine Learning and Natural Language Processing, particularly in structured prediction, bias mitigation, and healthcare NLP applications. He teaches Machine Learning (CS 6350/DS 4350) and has been supported by NSF, NIH, and corporate grants from Intel, Google, and others. Education: Ph.D. in Computer Science, University of Illinois at Urbana-Champaign (2013) Postdoctoral Researcher at Stanford University's NLP Group (2013-2014) Visiting Researcher at Allen Institute for Artificial Intelligence (2022 sabbatical) Research Interests: Srikumar explores text understanding, structured learning, and robust AI systems. His work addresses challenges in table-based reasoning, adversarial robustness, and ethical AI. He develops methods to ensure models use appropriate evidence and mitigate biases in representations. Grants & Collaborations: Supported by NSF, NIH, BSF, and industry partnerships with Intel, Google, Verisk, Bloomberg, and Nvidia. Notable projects include table QA systems (TempTabQA), bias mitigation (OSCaR/VERB), and crisis counseling NLP tools (ClientBot). Advising: Supervised over 30 students, including 15+ Ph.D./M.S. alumni now in academia and industry (e.g., Google, Amazon, Microsoft). Current advisees focus on multimodal reasoning, healthcare NLP, and AI ethics. Labs/Teams: Utah NLP Group and Utah Center for Data Science. Active in reproducibility efforts (LogFlux) and open-source tools (CogCompNLP/Pylon frameworks).
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 .
Norman Sadeh is a Professor in the School of Computer Science at Carnegie Mellon University (CMU), where he has made significant contributions to cybersecurity, privacy, and AI research. He has co-founded and co-directed several groundbreaking graduate programs at CMU, including the Privacy Engineering Program (2012-present), the Ph.D. Program in Societal Computing (2003-2013), and the MBA track in Technology Strategy and Product Management (2005-2017). Carnegie Mellon University, School of Computer Science Software and Societal Systems Department CyLab Security and Privacy Institute Manufacturing Futures Institute Dr. Sadeh received his Ph.D. in Computer Science at CMU with a major in Artificial Intelligence and a minor in Operations Research. He holds an M.Sc. in computer science from the University of Southern California and a BS/MS degree in electrical engineering and applied physics from the Free University of Brussels (Belgium) as 'Ingénieur Civil Physicien.' Professor Sadeh's research spans cybersecurity, online privacy, Human-AI Interaction, AI governance, mobile computing, the Internet of Things, user-oriented machine learning, and language technologies. He is particularly known for his pioneering work on AI-based privacy enhancing technologies, including privacy assistants, automated privacy compliance tools, and NLP-based privacy solutions. His work has influenced the design of privacy features at major technology companies including Apple, Google, and Facebook/Meta, as well as privacy policies at regulatory agencies like the Federal Trade Commission and the California Office of the Attorney General. Analysis of his recent publications shows a strong focus on practical privacy solutions, particularly in mobile and IoT contexts, with an emphasis on making privacy more usable and understandable for end users. His work bridges technical innovation with policy implications, addressing both the technological and human aspects of privacy protection. 2018 Outstanding Entrepreneur of the Year award from the Pittsburgh Venture Capital Association Test of time award by the AAAI Conference on Web and Social Media (ICWSM) Gartner Group's Magic Quadrant leader in Security Awareness Computer-Based Training for 4 consecutive years Deloitte's Technology Fast 500 recognition for 3 consecutive years Professor Sadeh has advised numerous students, including PhD candidates like Aerin (Shikhun) Zhang, whose dissertation focused on understanding diverse privacy attitudes. His research has been funded through various grants, including NSF SaTC projects, and has resulted in technologies that protect tens of millions of users worldwide. He also founded Wombat Security Technologies, which was acquired by Proofpoint in 2018 and whose technologies are used by over 75% of Fortune 100 companies. Professor Sadeh leads several research initiatives including the Privacy Engineering Program, the Usable Privacy Policy Project, the Personalized Privacy Assistant Project, and CMU's Privacy Infrastructure for the Internet of Things. His Mobile Commerce Lab and E-Supply Chain Management Lab have produced influential research that has been commercialized by major organizations including IBM, Raytheon, Boeing, and the U.S. Army.
Zhe Zeng is an incoming Assistant Professor in the Department of Computer Science at the University of Virginia starting July 2025. Currently, she serves as a Faculty Fellow in the Computer Science Department at New York University. She earned her Ph.D. in Computer Science from UCLA in 2024 under Professor Guy Van den Broeck, and her B.S. in Mathematics from Zhejiang University in 2018. Research Focus: Dr. Zeng specializes in neurosymbolic AI and probabilistic machine learning, developing methods that integrate symbolic knowledge (logical constraints, graph structures) with probabilistic uncertainty. Her work spans three core areas: Reasoning: Probabilistic inference, tractable probabilistic models Learning: Constrained deep learning, graph ML, weakly supervised learning Trustworthiness: Explainability, uncertainty quantification, domain-knowledge integration Awards & Honors: Rising Star in EECS (2023) Amazon Doctoral Fellowship (2022) NEC Research Fellowship (2021) ICML Travel Award (2018) Outstanding Graduate, Zhejiang University (2018) Advising & Mentoring: Has supervised six students including PhD candidates and undergraduates at UCLA, Tsinghua, and CAS, with placements at Princeton and UT Austin. Academic Service: Regularly reviews for NeurIPS, ICML, ICLR, UAI; served as UAI 2023 discussant; active in WiML mentorship programs.
