Tehran Institute for Advanced Studies (TeIAS)

/ Actual Causality and Counter-Factual Reasoning __ Mohammad Reza Mousavi

Talk

Actual Causality and Counter-Factual Reasoning

November 10, 2020
(20 Aban, 1399)

Venue

This Talk is online

+982189174612

Mohammad Reza Mousavi

Professor of Data-Oriented Software Engineering at the University of Leicester

Overview

Explaining phenomena, particularly failures, using counterfactual causal reasoning has been a challenging line of research in science and engineering. An instance of this line of research in computer science has been about explaining counterexamples found in the process of verification and testing. In this talk, we start with an introduction to the concept of causality and counter-factual reasoning. Then, we give an overview of our past work on causal analysis for reactive systems. Finally, we present the directions of our ongoing work to applying causal analysis to autonomous cyber-physical systems and software defined networks.

Biography

Mohammad Reza Mousavi is a professor of Data-Oriented Software Engineering at University of Leicester, UK. Prior to that, he was a guest professor of software engineering at Chalmers University of Technology, professor of Computer Systems Engineering at Halmstad University, and assistant and associate professor of Computer Science at TU Eindhoven. His research interests are in formal semantics and verification and his main current research area is in model-based testing, particularly applied to software product lines and cyber physical systems.