Siewe Lunch Talk 170215

From PLSwiki

Jump to: navigation, search

Lunch Talk by Francois Siewe, 12-13:00, 17-02-15

Title: The Calculus of Context-aware Ambients (CCA) and applications

Abstract: Mark Weiser in his seminal paper "The Computer of the 21st Century. Scientific American, Vol. 265, No. 1, 1991" introduced Ubiquitous Computing (UbiComp) as the ultimate paradigm for the next generation distributed systems where computers disappear in the fabric of our everyday life to provide relevant information and services any time and anywhere. Thanks to the advance in technology, this paradigm is gradually becoming a reality with the proliferation of smart devices and smart applications which are mobile and aware of their context of use. The Calculus of Context-aware Ambients (CCA) is a formalism for specifying and analysing the behaviours of such systems prior to their actual implementation. This talk will present the syntax and the semantics of CCA, its toolkit and some applications.

Bio: Dr Francois Siewe is a senior research fellow in the Software Technology Research Laboratory (STRL) in the School of Computer Science and Informatics at De Montfort University (DMU) in Leicester, UK. He was awarded a PhD degree in computer science from DMU in 2005; a Doctorat de troisième cycle, a Master of Advanced Studies (MAS), a MSc and BSc in computer science from the University of Yaounde in Cameroon. Before Joining DMU, Dr Siewe was a lecturer at the Institute of Technology of Lens in the University of Artois in Lens in France (2001-2002); and a fellow at the United Nations University, International Institute for Software Technology (UNU/IIST) in Macau in China (1999-2001), working on the DeTfoRS project for designing techniques for real-time critical systems. Prior to that, he was a lecturer in the Department of mathematics and computer science at the University of Dschang in Cameroon. His research interests include context-aware and pervasive computing, cyber security, formal specification and verification of computer systems. He has published several books and peer-reviewed papers in international journals and conferences. He was a PC co-chair of the ACM workshop on Context-awareness for Self-managing Systems (CASEMANS 2010); and serves on the technical program committee of several other international conferences.

Personal tools