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.
Ram Vasudevan is an Associate Professor and Associate Chair of Graduate Studies in the Department of Robotics at the University of Michigan. His research focuses on developing tools for safe and robust deployment of robotic systems, emphasizing optimization, nonlinear control, and real-world applications. Key areas include legged robot locomotion, shared control systems, and safety-critical autonomous systems. Research Interests: Optimization and control of nonlinear systems, locomotion of legged robots, shared control active safety systems, and automation of diagnostic/rehabilitative tasks. His ROAHM Lab prioritizes mathematical guarantees for robotic performance, with applications in medical robotics, autonomous vehicles, and soft robotics. Recent work emphasizes trajectory optimization, sensor fusion, and safety-aware control strategies. He has contributed to benchmarks for autonomous vehicle perception and novel methods in thermal image restoration using neural radiance fields. Awards: None explicitly listed in provided text. Labs/Teams: Directs the ROAHM Lab, collaborating on projects like robotic tail mechanics, real-time motion planning, and sensor data analysis. Active in academic conferences including RSS and ICRA.
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.
A. Michael Knemeyer is a Professor of Logistics at The Ohio State University's Max M. Fisher College of Business, where he contributes to research and teaching in supply chain management. His work focuses on supply chain relationships, risk and resilience, vendor relations, and sustainability integration. Educational Background: PhD from the University of Maryland, BSBA from John Carroll University Research Areas: Supply chain relationships, international logistics, sustainability, vendor relations, risk management Key Awards: 2013 IJPDLM Outstanding Paper Award, 2013 Bernard J. La Londe Best Paper Award Knemeyer's publications in journals like Harvard Business Review and Journal of Business Logistics explore critical themes in logistics outsourcing relationships, supply chain integration, and sustainable practices. His work often examines cross-cultural dynamics and institutional factors affecting supply chain performance. Selected Courses: Strategic Supply Chain Management, Contemporary Issues in Supply Chain Management, Logistics and Supply Chain Decision Making
Andreas Vlachos is a Professor of Natural Language Processing and Machine Learning at the Department of Computer Science and Technology, University of Cambridge, and holds the Dinesh Dhamija Fellowship at Fitzwilliam College. His research spans dialogue modeling, automated fact-checking, imitation learning, semantic parsing, biomedical text mining, and trustworthiness in AI systems. PhD in Computer Science, University of Cambridge (supervised by Ted Briscoe and Zoubin Ghahramani) Lecturer at University of Sheffield Postdoctoral roles at UCL, University of Cambridge (NLIP group, Stephen Clark), and University of Wisconsin-Madison (Mark Craven) Current research focuses on evaluating and mitigating biases in language models, advancing fact-checking methodologies, and improving model robustness through interpolation, reinforcement learning, and causal reasoning. His work integrates natural logic, knowledge graphs, and multimodal evidence for verification tasks. Recent publications address uncertainty quantification, temporal planning benchmarks, and ethical framing of NLP artifacts. Grants from ERC, EPSRC, Facebook, Google, and the Alan Turing Institute fund his research team. Collaborations include Sebastian Riedel, Stephen Clark, and Mark Craven. Key projects explore disinformation detection, long-form generation, and confidence calibration in AI systems.
Sarah Dean is an Assistant Professor in the Computer Science Department at Cornell University, affiliated with the College of Engineering. Her research focuses on the interplay of machine learning, optimization, and dynamics in real-world systems, particularly in control theory, recommendation systems, and ethical AI. Education: PhD in EECS, University of California, Berkeley (2021) Postdoctoral Research, University of Washington (2021-2022) Research Interests: Data-driven control systems, reinforcement learning, recommendation systems, user dynamics, algorithmic fairness, and the societal impacts of AI. She emphasizes foundational understanding of how learning systems interact with human and social processes. Recent Work Trends: Her articles explore topics like bilinear system identification, user participation dynamics in recommendation platforms, and ethical considerations in AI development. Recent work includes harm mitigation strategies and mathematical modeling of AI-human feedback loops. Awards: AI2050 Early Career Fellow (2024) Best Paper at ICML 2018 (Delayed Impact of Fair Machine Learning) Best Student Paper in Imaging Systems (OSA Congress 2018) Advising & Labs: Advises over 15 graduate and undergraduate students. Leads research on interactive ML systems, with contributions to projects like the 'MSGD' repository for streaming data learning. Active in the GEESE group, promoting socially responsible computing.
Ashley Montanaro is Professor of Quantum Computation in the School of Mathematics at the University of Bristol, and co-founder of the quantum software startup Phasecraft. He is a member of the Quantum Information Theory research group at Bristol. His research focuses on the theory of quantum computing, with particular interest in quantum algorithms, computational complexity, quantum query and communication complexity, and classical algorithms. His work spans both theoretical foundations and practical applications of quantum computing. Montanaro's research output shows significant trends toward quantum algorithms for optimization problems, quantum computational supremacy, and bridging theoretical advances with practical implementation challenges. His publications span foundational quantum information theory to applied quantum algorithms, demonstrating a versatile research program that connects computer science with quantum physics. Among his professional activities, Montanaro served on the QIP steering committee (2016-2018) and was an editor for the Quantum journal until 2019. He has been active in conference organization, serving on program committees for ITCS 2018, AQIS 2017 and 2015, QIP 2015, and TQC 2014 and 2013, reflecting his standing in the quantum computing research community. He has supervised numerous PhD students including Josh Blake, Jorja Kirk, Sheila Perez Garcia, Sami Boulebnane, Jan Lukas Bosse, Lana Mineh, Joao F. Doriguello, Chris Cade, Sam Pallister, and Stephen Piddock. His teaching includes Quantum Computation (MATHM0023) which he has taught since 2014 and Advanced Quantum Information Theory which he taught in 2015 and 2016. As co-founder of Phasecraft, Montanaro is actively translating theoretical quantum computing advances into practical software solutions, positioning him at the intersection of academic research and quantum technology commercialization.
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.
Dr. Ly Fie Sugianto is an Associate Professor in the Department of Accounting at Monash Business School, Monash University. Her research focuses on the integration of data analytics, artificial intelligence, and machine learning in accounting and business systems, with applications in the energy sector and organizational behavior. Monash Business School, Monash University Department of Accounting Specialization: Accounting Information Systems, Data Analytics, AI Her research interests span Accounting Information Systems , Agent-Based Simulation , Decision Support Systems , and Technology Adoption . She applies computational methods to study competitive dynamics in deregulated electricity markets and the impact of digital tools on employee well-being and organizational resilience. The recent publications reflect a strong trend in using AI and simulation to analyze complex socio-technical systems, particularly in energy markets and leadership dynamics. Keywords across her work include agent-based modeling , data analytics , servant leadership , and enterprise social media , indicating interdisciplinary research at the intersection of information systems, management, and public policy. Her scientific awards include competitive grants from the ARC (SPIRT/Linkage) , the Australia Indonesia Governance Research Partnership (AIGRP) , and the Sumitomo Foundation . ARC Grant: Dispatch Optimisation in the Australian National Electricity Market Sumitomo Foundation: Technology Use and Employee Well-Being AIGRP: Governance and MSME Resilience during Pandemic Dr. Sugianto has advised research projects and collaborated with industry partners such as Western Power , Ecogen Energy , and AEMO . She is currently accepting PhD students and leads externally funded research initiatives. Her work contributes to UN Sustainable Development Goals related to industry innovation and responsible consumption. She is affiliated with research teams focusing on intelligent decision support systems and digital transformation in business , with active collaborations in Australia and Indonesia.
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.
Ferdinando Fioretto is an Assistant Professor of Computer Science at the University of Virginia, leading the Responsible AI for Science and Engineering (RAISE) group. His research focuses on foundational challenges in AI, privacy, fairness, and the intersection of machine learning and optimization. He holds a dual PhD in Computer Science from the University of Udine and New Mexico State University. Affiliations: University of Virginia (current), Syracuse University (former), Georgia Institute of Technology (postdoc), University of Michigan (research fellow) Education: PhD (Udine & NMSU), B.S. (University of Parma) Research Interests: Machine Learning, Responsible AI, Optimization, Differential Privacy, Algorithmic Fairness. His work emphasizes practical applications in energy systems, court scheduling, and privacy-preserving machine learning. Recent projects include neuro-symbolic diffusion models, fairness-aware optimization, and privacy guarantees in LLMs. Grants & Funding: NSF CAREER Award, Google Faculty Research Award, Amazon Research Award, NVIDIA Academic Grant, and grants from the LaCross Institute and 4-VA. His group collaborates with institutions like George Mason University and Virginia Tech. Key Awards: NSF CAREER (2022), IJCAI Early Career Spotlight (2022), Caspar Bowden PET Award (2022), ACP Early Career Researcher Award (2021) Labs/Teams: RAISE group at UVA, focused on trustworthy AI, fair optimization, and privacy-preserving systems. Active in organizing workshops like NeurIPS Algorithmic Fairness and AAAI Privacy-Preserving AI.
Brendan O'Connor is an Associate Professor in the Manning College of Information and Computer Sciences (CICS) at the University of Massachusetts Amherst. His research focuses on computational social science and natural language processing (NLP), particularly exploring how social factors influence language technologies and using text analysis to understand societal trends. His work includes studies on racial bias in NLP, political event analysis, and social media linguistics. He holds a PhD in Machine Learning from Carnegie Mellon University (2014) and dual MS/BS in Symbolic Systems from Stanford University (2006). Education: PhD in Machine Learning, Carnegie Mellon University (2014) MS in Symbolic Systems, Stanford University (2006) BS in Symbolic Systems, Stanford University (2006) Research interests span AI ethics, social media analysis, and computational methods for studying language and society. Notably, he investigates racial disparities in NLP systems, linguistic variation in African American English, and event detection in news and social media. His work has been recognized with NSF CAREER and Google Faculty awards, and his research has been cited thousands of times. His lab, the Statistical Social Language Analysis Lab, develops tools for analyzing large-scale text data. He is affiliated with the Center for Data Science, Center for Intelligent Information Retrieval, and Computational Social Science Institute. Recent projects include analyzing global news coverage of critical events and developing frameworks for zero-shot argument explication. Awards and Honors: NSF CAREER Award Google Faculty Research Award Best Paper Award Advising and Grants: O'Connor has advised projects on social media polling representativeness and demographic analysis. His grants include collaborative research on sociopolitical event extraction and bias mitigation in AI systems. He has also contributed to platforms like Rookie for news archive exploration and ezCoref for coreference resolution. Labs/Teams: Leads the Statistical Social Language Analysis Lab and collaborates with the UMass NLP Group and Harvard Institute for Quantitative Social Science. His work bridges NLP with social science methodologies, emphasizing transparency in algorithms and causal inference using text data.
