Karen Spärck Jones lecture 2018

When: 18th Oct 2018, 18:00 - 18th Oct 2018, 19:30
Where: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA
Town/City: London
Organiser: BCS
Further Information: Further Information

Title: Formal methods in the wild: modelling systems as they are 
Speaker: Professor Muffy Calder OBE FRSE FREng, University of Glasgow

Formal methods are traditionally used for specifying the behaviour of new software or hardware. But formal models can offer us much more, especially when the systems we have built are used in ways we never intended or anticipated. Models, and their analysis, can help us understand how systems actually behave in the wild, leading to possible interventions and improvements.

In this talk, Professor Calder will give a personal reflection on the role of models in computer science - based on her experience of developing and applying models in domains as diverse as telecommunications, systems biology, and HCI, and at design time, at run time, and after collecting sets of logged user traces from thousands of users.

She will show how models can help us understand and analyse systems as they are, rather than what we hoped for at design time, through two examples: a real-life safety critical communications system with failures, and a mobile app where we have logged the interactions of hundreds of users over many years. In both cases, unexpected behaviours were found - in systems out there in the wild.

This event will be filmed and is sponsored by IBM.

S
M
T
W
T
F
S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31