talks

distinguished talks

Reinforcement Learning from Logical Specifications

• Keynote Foundations of Software Technology and Theoretical CS (FSTTCS) 2024, Dec. 2024

Formal Reasoning in Reinforcement Learning: A Boon or Bane

• Keynote Static Analysis Symposium (SAS) 2022, Dec. 2022

Specification-Guided Reinforcement Learning (Tutorial)

• The European Summer School on Artificial Intelligence (ESSAI) 2026
• Invited Tutorial European Joint Conferences on Theory and Practice of Software (ETAPS) 2025, May 2025
• AAAI 2023, Feb. 2023 (co-presented with Rajeev Alur, Osbert Bastani, and Kishor Jothimurugan)

invited talks

Reinforcement Learning from Logical Specifications

• Centaur AI, Feb. 2026
• College of Computing and Data Science, Nanyang Technological University, June 2025
• ActSynt@ECAI 2024, Oct. 2024
• Dagstuhl Seminar on Scalable Analysis of Probabilistic Models and Programs, June 2023
• Department of Computer Science, IIT Delhi, Oct. 2022
• Workshop on Open Problems in Learning and Verification of Neural Networks, Aug. 2022

Specification-Guided Policy Synthesis (Jan. 2022 – Apr. 2022)

• Carnegie Mellon University, CISPA Saarland, ETH Zurich, Georgia Institute of Technology, IST Austria, Max Planck Institute - SWS, National University of Singapore, New York University, Pennsylvania State University, Purdue University, Tufts University, TU Graz, University of Illinois - Chicago, University of Southern California, University of Toronto, University of Waterloo (ECE), Washington University at St. Louis, Yale University

Formal Reasoning in Reinforcement Learning: A Boon or Bane

• Center of Signal Processing (CSIP), GaTech, Oct. 2023
• EECS, UC Berkeley, April 2023

Model Checking Finite-Horizon Properties

• Simons Workshop on Synthesis of Models and Systems, June 2024
• Dagstuhl Seminar on Automated Synthesis: Functional, Reactive and Beyond, April 2024
• PLSE Seminar, National University of Singapore, May 2023

Reactive Synthesis from Quantitative Constraints: An Automata Approach

• IARCS Verification Seminar Series, Oct. 2021
• Workshop on Continuity, Computability, Constructivity: From Logic to Algorithms, Sep. 2021

Compositional Reinforcement Learning from Logical Specifications

• Sapienza University of Rome, June 2021

Reactive Synthesis for Coordination

• Simons Institute (UC Berkeley): Workshop on Synthesis of Models and Systems, March 2021

On Satisficing in Quantitative Games

• Hebrew University, June 2021
• Formal Methods Seminar, Ben Gurion University, March 2021

Designing Intelligent Machines Via Reactive Synthesis

• Machine Learning Seminar Series, Rice University, March 2020
• ICES, University of Texas at Austin, Feb. 2020
• Nokia Bell Labs, Murray Hill, Feb. 2020
• Department of Computer Science, IIT Delhi, April 2019
• School of Computing, National University of Singapore, April 2019

Automata-Based Quantitative Reasoning

• Department of Computer Science, University of Pennsylvania, Jan. 2020
• Verification Seminar Series, University of Oxford, Nov. 2019
• RiSE Seminar, IST Austria, April 2018

Comparators for Quantitative Verification

• University of California, Berkeley, April 2018
• Student Spotlight, Winter School in CS and Engineering on Formal Methods, IIAS, Jerusalem, Dec. 2017
• Saarland University, March 2017
• Dagstuhl Seminar on Game Theory in AI, Logic and Algorithms, March 2017

Asynchronous Synthesis: The Ugly, the Bad and the ?

• Application Platforms and Software Systems Group, Nokia Bell Labs, Murray Hill, July 2017

Reasoning About Incentive Compatibility

• Google Student Research Summit, YouTube Headquarters, San Bruno, Sept. 2017

conference and workshop talks

AAAI-SSS 2023, ATVA 2023, Highlights of Logic, Games, and Automata 2023, AAAI 2022, NeurIPS 2021, Highlights of Logic, Games, and Automata 2021, SYNT 2021, TACAS 2021, Highlights of Logic, Games, and Automata 2020, AAAI 2020, POPL 2020, CAV 2019, SYNT 2019, CAV 2018 (a), CAV 2018 (b), FoSSaCS 2018, Off the Beaten Track 2016, ACM Student Research Competition at POPL 2016