Selected Talks

Invited talks, keynotes and tutorials, in reverse chronological order.

  • On Termination of Polynomial Programs with Equality Conditions — HCP 2026, Qingdao, China, Aug. 1–2, 2026
  • Formal Design of Safety-Critical Embedded Systems — Internetware 2026, Gold Cost, Australia, Jul. 18–20, 2026
  • Verification of Stochastic Dynamical and Hybrid Systems — Shonan Meeting 237: Frontiers of Formal Methods for Probabilistic Models and Programs, Shonan, Japan, Jun. 21–25, 2026
  • Verification of Stochastic Dynamical and Hybrid Systems — GI-Dagstuhl seminar on Tools for Reachability Analysis of Stochastic Hybrid Systems, Dagstuhl, Germany, Dec. 19–23, 2025
  • Formal Design of Safety-Critical Embedded Systems — MEMOCODE 2025, Taipei, Oct. 2–3, 2025
  • Synthesizing (Differential) Invariants by Reducing Non-Convex Programming to SDP — ICFEM 2024, Hiroshima, Japan, Dec. 2–6, 2024
  • Reset Controller Synthesis by Computing Invariants and Reach-avoid Sets — TASE 2023, Bristol, United Kingdom, Jul. 4–6, 2023
  • Taming Delays in Cyber-Physical Systems — VSTE 2022, Isaac Newton Institute, University of Cambridge, Jul. 21–28, 2022
  • Extending Hoare Logic to Hybrid Systems — VSTE 2021, Isaac Newton Institute, University of Cambridge, Jun. 7–11, 2021
  • Invariant Generation by Constraint Solving in Verification of Programs and Hybrid Systems — TASE 2020, Hangzhou, China, Dec. 11–13, 2020
  • Formal Analysis, Verification and Design of Safety-Critical CPS — RTSS 2020, Houston, USA, Dec. 1–4, 2020
  • Taming Delays in Cyber-Physical Systems — ICTAC 2020, Macau, China, Nov. 30 – Dec. 4, 2020
  • Non-linear Interpolant Generation and its Application to Program Verification — FROM 2020, Babeș-Bolyai University, Romania, Sept. 4–6, 2020
  • Practical Verification of Intelligent CPSs — ICMS 2020, TU Braunschweig, Germany, Jul. 13–16, 2020
  • Taming Delays in Cyber-Physical Systems — ICFEM 2019, Shenzhen, China, Nov. 5–9, 2019
  • Automatically Generating SystemC Code from HCSP Formal Models — MAVoLS 2017, Beijing, 2017
  • Automatically Generating SystemC Code from Delay HCSP — APLAS 2017, Suzhou, 2017
  • Automatically Generating SystemC Code from HCSP Formal Models — SATE 2017, Harbin, 2017
  • Invariant-based Verification and Synthesis for Hybrid Systems — Summer School on Symbolic Computation, Nanning, Jul. 16–22, 2017
  • Formal Design of Embedded Systems — IFIP Working Group 1.9/2.15 & Working Group 2.3 Annual Meeting, Montauban, France, 2016
  • Invariant-based Verification and Synthesis for Hybrid Systems — IFIP Working Group 2.2 Scientific Meeting, Singapore, 2016
  • Formal Verification of Stochastic Differential Equations — Workshop on Quantitative Model Checking, Singapore, 2016
  • Model-checking of Extended Linear Duration Invariants — ProCoS Workshop, London, 2015
  • Formal Verification of Simulink/Stateflow Diagrams — tutorial of ESWEEK 2014, New Delhi
  • Formal Modelling, Analysis and Verification of Hybrid Systems — tutorial of FACS 2013, Nanchang
  • Formal Modelling, Analysis and Verification of Hybrid Systems — tutorial of ICTAC 2013, Shanghai
  • Formal Verification of Simulink Diagrams — PAS 2013, Beijing
  • An Assume/Guarantee Based Compositional Calculus for Hybrid CSP — TAMC 2012, Beijing
  • Program Verification by Reduction to Semi-algebraic System Solving — SCTC 2008, Shanghai
  • Connecting Algebraical and Logical Descriptions of Concurrent Systems — TAMC 2005, Kunming