Talks

Invited talks:

• ‘‘Exploiting Symmetry for Verification and Synthesis of Cyber-Physical Systems’’, SRI International, Online, September, 2022
  
  

• ‘‘Accelerating Verification of Cyber-Physical Systems using Symmetry’’, University of California, Berkeley, Online, July, 2021
  
  

• ‘‘Privacy-Preserving Network Congestion Control’’, NSF CPS Principal Investigators meeting, Online, June, 2021
  
  

• ‘‘Accelerating Verification of Cyber-Physical Systems using Symmetry’’, Center for Advanced Mathematical Sciences at AUB, Online, June, 2021
  
  

• ‘‘Accelerating Verification of Cyber-Physical Systems using Symmetry’’, University of Pennsylvania, Online, May, 2021
  
  

• ‘‘Accelerating Verification of Cyber-Physical Systems using Symmetry’’, NSA Science of Security Lablet Quarterly Meeting, Online, January, 2021
  
  

• ‘‘Accelerating formal verification of autonomous multi-agent systems us- ing symmetry transformations’’, Siemens Corporation, Online, April, 2020
  
  

• ‘‘Accelerating formal verification of autonomous multi-agent systems using symmetry transformations’’, CSL Student Conference, UIUC, US, February, 2020
  
  

• ‘‘Accelerating formal verification of autonomous multi-agent systems using symmetry transformations’’, CPS V&V I&F Workshop 2019, Carnegie Mellon University, US, December, 2019
  
  

• ‘‘Optimal Data Rate for State Estimation of Switched Non-linear Systems’’, Information Trust Institute, UIUC, US, April, 2017
  
  

Conference talks:

• ‘‘SceneChecker: Boosting Scenario Verification using Symmetry Abstractions’’, International Conference Computer-Aided Verification, Online, July, 2021
  
  

• ‘‘Accelerating Verification of Cyber-Physical Systems using Symmetry’’, Student Research Competition, CPS-IoT Week, Online, May, 2021
  
  

• ‘‘Multi-Agent Safety Verification using Symmetry Transformations’’, 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Online, March, 2021
  
  

• ‘‘State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates’’, International Conference on Hybrid Systems: Computation and Control, Porto, Portugal, April, 2018
  
  

• ‘‘Optimal Data Rate for State Estimation of Switched Non-linear Systems’’, International Conference on Hybrid Systems: Computation and Control, Pittsburgh, PA, April, 2017