Page d'accueil // SnT // Distinguishe... // What's in a game of cards? Options for programming mobile systems in CSP - June 9, 2015

What's in a game of cards? Options for programming mobile systems in CSP - June 9, 2015

It is our pleasure to host this distinguished lecture by Prof. Bill Roscoe, Oxford University. Please feel free to forward this invitation.

Date: June 9, 2015
Time: 14:30
Venue: Weicker Building -Room B001 Ground floor, 4 rue Alphonse Weicker, L-2721 Luxembourg

Abstract: Based mainly on CSP models of four forms of patience (card games for one) I will discuss how to program mobile networks in CSP, ones where processes move around and change their neighbours. This can either be done by an explicitly mobile notation or via standard CSP. We find that it is possible to determine the solubility of each game using FDR3. Other applications explored include telephony and heap (pointer) structures.

Bill Roscoe (Andrew William, hence A.W. Roscoe on papers) was born and brought up in Dundee, Scotland. He read Mathematics at University College, Oxford (Univ) 1975-78, obtaining the top mark for his year in the university. Together with another Univ student, Steve Brookes (now at CMU), he joined the Computing Laboratory (PRG) as a research student in 1978, and their DPhil work with Tony Hoare was on the mathematical foundations and models of his Communicating Sequential Processes (CSP) process algebra. Almost all Bill's subsequent research has either been based on CSP or has been a spin-off from it (examples of the latter being Hardware Verification and Computer Security). He was a Junior Research Fellow of St Edmund Hall 1980-3 and a Royal Society Research Fellow 1982-3. He became a College Lecturer at Univ in 1979 and a Tutorial Fellow there in 1983, when he was also appointed a University Lecturer in Computer Science at Oxford. He was given the title of Professor in 1997. In 2007 his job title was changed to "Research Professor" and he became a Senior Research Fellow at Univ. In 1993-7 he was Senior Tutor of Univ, in 1998-2000 he was the last ever Chairman of the Mathematical Sciences Faculty Board, and was Head of the Department of Computer Science (formerly called Director of the Computing Labratory) 2003-8 and 2009-14.