Rogério de Lemos

Rogério de Lemos is a Senior Lecturer in Computing Science at the University of Kent. He was an invited assistant professor at the University of Coimbra, Portugal, and Senior Research Associate at the Centre for Software Reliability (CSR) at the University of Newcastle upon Tyne, UK.  

His main research area is on architecting resilient systems, in particular, resilient AI, self-adaptive software systems, and authorisation infrastructures. 

I belong to the following research groups:

• Programming Languages and Systems Group
• Cyber Security Group

Research Topics

• Software engineering for self-adaptive systems
• assurances, and resilience evaluation
• dynamic generation of processes
• Handling insider threats using self-adaptive authorisation
• Architecting dependable systems
• architectural abstractions for fault tolerance
• verification and validation of dependable software architectures
• Software development for safety-critical systems
• Dependability and bioinspired computing
• Specification and verification of hybrid and real-time systems
• Application of game theory to software systems

Current Projects

• " Collaborative and Confidential Information Sharing and Analysis for Cyber Protection". European Union’s Horizon 2020 Programme (H2020) - Grant Agreement n°700294.

Past Projects

• "ADAAS: Assuring Dependability in Architecture-based Adaptive Systems". Partners: University of Coimbra, University of Lisbon, Instituto Superior Técnico, Critical Software, CMU. Started November 2010, duration three years. Sponsored by FCT Carnegie Mellon Portugal Program.
• "Pervasive Service Provision using Adaptive, Dynamic Systems". With Jon Timmis (PI), and Jason Xiaohu Liu (PhD Student). Started October 2010, duration of three years. In collaboration with NCR .
• "Dynamic Adaption for Sensor Fusion (DASF)". With Jon Timmis (PI), and Piero Conca (PhD Student). Started October 2008, duration of three years. In collaboration with NCR .
• "Sensors Integrating Fusion Technology (SiFT)". With Jon Timmis (PI), and Adam Knowles (PhD Student). Started October 2005, duration of three years. In collaboration with NCR .
• Poster: Artificial Immune Systems for Data Fusion: A Novel Biologically Inspired Approach.
• "Immunised Fault Tolerance for Mechatronic Devices". With Jon Timmis (PI), and Modupe Ayara (PhD Student). Started October 2001, duration of three years. In collaboration with NCR .
• Poster: Immune Inspired Fault Tolerance.
• Poster: Immunising Automated Teller Machines (ATMs).
• The Computing Laboratory is a node of CaberNet - Network of Excellence in Distributed and Dependable Computing. IST Contract No. IST-2000-25088.
• CaberNet Vision of RTD.
• "Exception Handling in Dependable Software Architectures". The Nuffield Foundation. Started May 2001, duration of two years.
• Poster: Exception Handling in the Software Lifecycle.
• "Dependable Software for Embedded Aerospace Applications". British Council and CAPES/Brazil. Collaboration project between the Computing Laboratory / University of Kent at Canterbury and Institute of Aeronautics and Space (IAE) / Aerospace Technical Centre (CTA). Started April 1999, duration of three years.
• Poster: Safety Analysis of the Destruction System of a Sounding Rocket.