Invited speaker: Dr. Radu Calinescu

ABSTRACT 

Formal methods @ runtime

Applications in areas ranging from healthcare and transportation to banking and defence are increasingly dependent on the effective operation of computer systems in continually changing environments. In response to this trend, the research community is seeking ways of making computer systems adaptive, context-aware, reconfigurable and self-managing. Heuristics, simulation and AI techniques have all been proposed as possible approaches to realising this objective. This talk describes work that complements such efforts by exploring the possibility to achieve runtime adaptation in computer systems using techniques from the area of formal methods. I will argue that "formal methods @ runtime" represents a feasible approach, and present preliminary results that support this view.

BIO

Dr Radu Calinescu is a lecturer in Computing at Aston University, UK, and a part-time lecturer on the Software Engineering Programme at the University of Oxford. He was previously a Senior Researcher on the Formal Verification research theme at the University of Oxford. He holds an award-winning DPhil in Computation from the University of Oxford, and has over ten years of academic and industrial research experience in developing complex software systems in areas including self-managing systems, model-driven architectures and information systems for cancer research. He has chaired or has been on the program committees of multiple international conferences on autonomic, self-managing and complex systems. He is a Senior Member of the IEEE, and a member of the Editorial
Advisory Board for the International Journal on Advances in Intelligent Systems.