Privacy Assurance in Ubiquitous Systems by Typing in a Calculus of Context-aware Ambients - in the early 1990s, Mark Weiser introduced ubiquitous computing (ubicom) as a new paradigm for the next generation of distributed systems where computers disappear in the background of the user’s everyday activities, making data and services readily available anytime and anywhere. From the era of one-computer-many-users (mainframes) to that of one-computer-one-user (PCs), ubicom envisions an era of many-computers-one-user. 

Current realisation of this vision is the Internet of Things (IoT) which enables common objects to be enhanced with sensing, computing and communication capabilities to become smart things capable of collecting, processing and exchanging data over the Internet. How data are collected, processed, and shared, must be tightly controlled in many applications (e.g., smart homes and healthcare) to avoid unintended breaches of privacy.

In this talk, Dr Francois Siewe will present the Calculus of Context-aware Ambients (CCA) used to model the behaviours of ubicom systems, and its privacy type system that allows for the control of information flow among subsystems.


Speaker: Dr Francois Siewe, Reader in Computer Science, De Montfort University


Bio : Francois Siewe received a Ph.D. degree in Computer Science from De Montfort University, UK. He obtained a B.Sc. degree in Mathematics and Computer Science, the M.Sc. degree and the Doctorat de Troisième Cycle degree in Computer Science from the University of Yaounde I, Cameroon. He is a Reader in Computer Science and Head of the Software Technology Research Laboratory (STRL) research group in the School of Computer Science and Informatics at De Montfort University (DMU), UK.

Before joining DMU, he was a lecturer and visiting researcher in the Institute of Technology of Lens at the University of Artois in France.

Prior to this, he was a fellow at the United Nation University/International Institute for Software Technology (UNU/IIST) in Macau in China, and a lecturer with the Department of Mathematics and Computer Science at the University of Dschang, in Cameroon. His research interests include software engineering, formal methods, cyber security, context-aware and pervasive computing, and Internet of Things (IoT). His research outputs can be found at



View the slides / Panopto recording


Refreshments will be available from 5.15pm. The talk will start at 6pm.

Privacy Assurance in Ubiquitous Systems by Typing in a Calculus of Context-aware Ambients - FACS
Date and time
Thursday 27 February, 6:00pm - 10:00pm
BCS, The Chartered Institute for IT
Ground Floor
25 Copthall Avenue
This event is sold out