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:
- 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
- " Collaborative and Confidential Information Sharing and Analysis for Cyber Protection". European Union’s Horizon 2020 Programme (H2020) - Grant Agreement n°700294.
- "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 .
- "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 .
- The Computing Laboratory is a node of CaberNet - Network of Excellence in Distributed and Dependable Computing. IST Contract No. IST-2000-25088.
- "Exception Handling in Dependable Software Architectures". The Nuffield Foundation. Started May 2001, duration of two years.
- "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.