I pursue research in all aspects of dependable systems. A system is dependable if trust can be justifiably placed in its correct operation even in exceptional circumstances. Exceptional circumstances can be due to hardware faults (e.g., bit corruptions) or to software faults (e.g., bugs, configuration errors). These can lead to benign fault at a node level (e.g., crash fault) or malicious fault (e.g., Byzantine behaviours). Either way, systems must be designed to be fault-tolerant. I am interested in the design of such systems, from their specification to their verification and validation. Specifically, my group has interests in the following areas: 1. Design of (variants) of fault tolerance (formal methods). 2. Dependability in networked embedded systems, e.g., Wireless sensor networks, Internet of Things, cyber-physical systems. 3. Failure log analysis of High Performance Computing systems (e.g., clusters). 4. Computer security/Digital forensics. 5. Distributed systems including cloud computing, mobile Computing, edge/fog computing. An increasing interest in our research group is the use of artificial intelligence techniques to solve dependability problems.

I am an Associate Professor in the Department of Computer Science at the University of Warwick. I am a member of the Artificial Intelligence theme and I lead the Reliability and Fault Tolerance group.