Skip to main content

Nathalie Cauchi

Personal photo - Nathalie Margaret Cauchi

Nathalie Margaret Cauchi

Doctoral Student

Leaving date: 12th February 2020


I am currently  working towards the certification of models within the domain of Smart Buildings. I am interested in stochastic hybrid models, predictive maintenance, (probabilistic) reachability analysis and in developing  techniques for fault detection and reliability  (namely via analysis of fault maintenance trees).


I am a DPhil student at the Department of Computer Science at the University of Oxford within the research group of Prof. Alessandro Abate and am a  recipient of a Ph.D. scholarship from Malta’s ENDEAVOUR scholarships scheme. I received a Laurea degree in Electrical and Electronics Engineering (summa cum laude) in October 2014 from the University of Malta. Following my undergraduate I worked as a research assistant within the Institute of Aerospace technologies at the University of Malta working on EU FP7 project called ACROSS (Advanced cockpit for reduction of stress and workload) and the national project called Touch-flight.  


I am part of the Oxford Control and Verification group (OxCAV) and of  Oxford Women in Computer Science society (OxWoCS).

Selected Publications

View AllManage publications