Invited Talks

Hyperproperties: From Specification to Synthesis
December 2023 at the Faculty of Engineering, University of Freiburg, Germany

Hyperproperties: Analysis and Visualization
April 2023 at the Department of Computer and Information Science, University of Konstanz, Germany

Verifying Hyperproperties
July 2019 at the Department of Computer Science, Yale University, USA

Causality and Hyperproperties
June 2019 at the NII Shonan Meeting No. 139: Causal Reasoning in Systems, Japan