Research Overview

My research interest is dynamic reconfiguration of software system. This refers to the ability to modify and extend a software system while it is running without interrupting overall system operation. I tend to propose a formal approach that involves the use of mathematical theory and formal specification languages. To ensure the correctness of the reconfiguration process, it is therefore useful to turn to formal methods that offer strong generic guarantees about the systems. These methods are based on abstractions of software systems.