Title
Formal Modelling and Analysis of Deployed Systems

Professor Steve Linton and Dr Adam Barker with Professor Muffy Calder.

Abstract
Formal methods are traditionally used for specification and implementation in a waterfall model. In contrast, I am interested in formal models of concurrent, interactive systems that may/may not be in software, and   may already be deployed, i.e. they are systems to be observed.  Can formal models and reasoning expose how a system actually works?  Can formal models and reasoning suggest improvements based on how a system is actually used?

In these talks I will investigate these questions through case studies, from biochemical signalling pathways, to wireless home networks and (shock horror) mobile app games.

Biography
I have been at the Department of Computing Science, University of Glasgow since January 1988. Until 2012 I was Dean of Research in the College of Science and Engineering and Senate Assessor on Court and before that I was Head of Department of Computing Science for four years, from 2003 to 2007. I currently work for the Scottish Government 60% of the time, as the Chief Scientific Adviser. Continue reading