menu

• Home
• News
• Research
• Publications
• Presentations
• UDiscoverIt
• Courses
• Grants

---

---

Presentations

• Michigan AI Symposium: AI for Science, Keynote Speaker: Knowledge-Centric AI for Scientific Discovery, October, 2025.
• National Academies' Roundtable on Artificial Intelligence and Climate Change — Executive Meeting #2, Speaker: Advancing Artificial Intelligence to Accelerate Scientific Discovery and Improve Decision-Making for a Sustainable Future, May, 2025.
• UVA Department of Computer Science Distinguished Speaker Series, Invited Speaker: AI to Accelerate Scientific Discovery for a Sustainable Future, November, 2024.
• AI for Materials Science (AIMAT 24) AAAI 2024 Bridge, Invited Speaker: Computational Sustainability Meets Materials Science, February, 2024.
• NeurIPS 2023 Workshop: AI for Scientific Discovery: From Theory to Practice, Panelist: Panel Discussion, December, 2023.
• NeurIPS 2023 Workshop: Computational Sustainability: Promises and Pitfalls from Theory to Deployment (CompSust-2023), Panelist: Panel Discussion, December, 2023.
• The Fifth International Conference on Distributed Artificial Intelligence (DAI 2023), Keynote Speaker: AI to Accelerate Scientific Discovery for a Sustainable Future, December, 2023.
• AI for Humanity 20231031, Webinar Speaker: What's the Next Big Question? Leaders in A.I. Discuss the Science of the Future, October, 2023.
• National Academies Workshop on AI for Scientific Discovery, Speaker: What is the Goal of an AI Scientist (in Conducting Independent Research)?, October, 2023.
• The Genetic and Evolutionary Computation Conference (GECCO 2023), Keynote Speaker: AI for Scientific Discovery and a Sustainable Future, July, 2023.
• Vienna Center for Logic and Algorithms LogicLounge 2023, Panelist: Exploring Connections: Wittgenstein, Gödel, and ChatGPT, June, 2023.
• TU Wien Informatics, Vienna Gödel Lecture: AI for Scientific Discovery and a Sustainable Future, June, 2023.
• DIMACS Workshop on Algorithm and Mechanism Design for Achieving the UN Sustainable Development Goals, Keynote Speaker: Computational Sustainability: Computing for a Better World and a Sustainable Future AI for Accelerating Scientific Discovery, May, 2023.
• The 21st International Conference on Pervasive Computing and Communications (PerCom 2023), Keynote Speaker: AI for Scientific Discovery and a Sustainable Future, March, 2023.
• NSF Sponsored Workshop on AI-Enabled Scientific Revolution: Plenary Lightning Talk on Advancing AI-2, March, 2023.
• 2nd AI for Science Workshop at ICML, Invited Speaker: AI for Scientific Discovery: Computational Sustainability, July, 2022.
• 19th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2022), Keynote Speaker: Combining Reasoning and Learning for Discovery, June, 2022.
• American Physical Society (APS): Combining AI Reasoning and Machine Learning for Accelerating Materials Discovery, March, 2022.
• AAAI Workshop on Combining Learning and Reasoning: Programming Languages, Formalisms, and Representations (CLeaR 2022), Invited Speaker: Combining Reasoning and Learning for Discovery, February, 2022.
• 1st Annual AAAI Workshop on AI to Accelerate Science and Engineering (AI2ASE): Invited Speaker, February, 2022.
• AFOSR "Leaders in A.I Discuss the Science of the Future" Webinar Speaker: A.I. 2040 and Beyond 20220202: What's the next BIG QUESTION?, February, 2022.
• 23rd International Conference on Distributed Computing and Networking (ICDCN), Keynote Speaker: Computational Sustainability: Computing for a Better World and a Sustainable Future, January, 2022.
• Inaugural Lecture of Distinguished Lecture series on AI, Center for Artificial Intelligence Foundations and Scientific Applications, Penn State University, Invited Speaker: Computational Sustainability: Computing for a Better World and a Sustainable Future, October, 2021.
• Distinguished Colloquium CS Dept and Intelligent Systems Center at Missouri S&T, Invited Speaker: Computational Sustainability: Computing for a Better World and a Sustainable Future, August, 2021.
• IEEE SMARTCOMP Keynote: Computational Sustainability: Computing for a Better World and a Sustainable Future, August, 2021.
• NYAS "AI for Materials: From Discovery to Production" Webinar Speaker: Artificial Intelligence (AI) for Accelerating Materials Discovery, October, 2020.
• Ars Electronica x Austrian Council for Robotics and AI, Panel on AIxEcology Speaker: Computational Sustainability: Computing for a Better World and a Sustainable Future, September, 2020.
• Earth Day at KDD Keynote: Computational Sustainability: Computing for a Better World and a Sustainable Future, August, 2020.
• ICML Panelist: Doing Some Good with Machine Learning, July, 2020.
• AAMAS Keynote: AI for Advancing Scientific Discovery for a Sustainable Future, May, 2020.
• NeurIPS Workshop on Tackling Climate Change with Machine Learning: Computational Sustainability: Computing for a Better World and a Sustainable Future, December, 2019
• NSF CISE Distinguished Lecture: Computational Sustainability: Computing for a Better World and a Sustainable Future, October, 2019.
• Communcations of the ACM Interview: Computational Sustainability, September, 2019.
• ICAART Keynote: Computational Sustainability, February, 2019.
• World Economic Forum's IdeasLab: Annual Meeting of the New Champions: Harnessing artificial intelligence to target conservation efforts, June, 2016.
• NSF Science News - cool video!
• Computational Sustainability. Slides (February, 2011)
  • NSF/CCC Workshop on IT and the Sustainability Enterprise Plenary Talk. DC, USA. Feb, 2011.
  • AAAI 2010 Invited Talk. Atlanta, USA. July, 2010.
  • CPAIOR 2010. Invited Talk. Bologna, Italy, June, 2010.
  • The Grace Hopper Celebration of Women in Computing 2010. Invited Technical Talk. Atlanta, Georgia, 2010.
  • CP2009. Invited Talk. Lisbon, Portugal, June, 2009.
  • Next Generation Data Mining. Invited Talk. Baltimore, USA, September, 2009.
  • National Academy of Engineering - Frontiers of Engineering. Invited Talk. Irvine, USA, September, 2009.
• How do I become a leader in my field? Grace Hopper Celebration of Women in Computing, Atlanta, Georgia, 2010, Slides
• Scientific Use of Experimentation, Master Class on Methods for Experimental Study, Master Class Chair: John Hooker, CPAIOR 2010, Italy. Slides Part I Slides Part II
• The Science of Constraints, Symposium on the Next Ten Years of Constraint Programming, CP-2006, France. Slides
• Beyond Satisfiability: Model Counting, Quantification, and Randomization. Slides
  • Hybrid Methods and Branching Rules in Combinatorial Optimization. Organizer: Vasek Chvatal. Montreal, September, 2006.
  • Connections II: Fundamentals of Network Science. Organizers: John Doyle and Richard Murray. Caltech, 2006.
  • Workshop on Satisfiability, Solvers, and Program Verification. Organizers: Dimitris Achlioptas, Byron Cook, and Moshe Vardi. Aug. 10, 2006.
• American Association for the Advancement of Science(AAAS) - Annual Meeting (2005):
  • Slides
  • Cornell Chronicle
  • Science Daily (Full version of press release)
• Backdoors in Combinatorial Search (Muri-UCLA05) Power point presentation.
• The Promise of LP to Boost CSP Power point presentation.
• Institute for Pure and Applied Mathematics (IPAM/UCLA) Invited Talk - Randomization, Structure, and Complexity in Combinatorial Optimization, June 2002.
• CPAIOR-02 Tutorial - School on Optimization - Exploiting Structure and Randomization in Combinatorial Search Power point presentation.
• Institute for Pure and Applied Mathematics (IPAM/UCLA) Invited Talk - The Integration of Constraint Programming and Mathematical Programming Methods, April 2002.
• CP 2002 - Communication and Computation in DisCSP Power point presentation.
• AAAI 2002 Tutorial - Phase Transitions and Structure in Combinatorial Problems, Edmonton, 2002.
• AFRL Scientific Advisory Board - Intelligent Information Systems Institute: Vision and Plans, 2001
• CP 2001 - Formal Models of Heavy-tailed behavior in Combinatorial Search Power point presentation.
• IJCAI 2001 Tutorial - Phase Transitions and Structure in Combinatorial Problems, Seattle, 2001.
• AAAI00 Invited Talk - Structure and Randomization: Common Themes in AI and OR
  • also presented at: Stanford University, NASA (Ames), SRI, and University of Lisbon
  • Power point presentation.
  • Zip file including power point presentation with videos, and demos
• AAAI00 Talk - Generating Satisfiable Instances Power point presentation.
• AAAI99 Tutorial - Integration of Artificial Intelligence and Operations Research Techniques Power point presentation.
• Muri May 2003 Power point presentation.