My research interests include cyber-physical systems modelling, simulation, formal verification and correct-by-design controller synthesis. Currently my main focus is targetted towards applying formal methods and verification techniques within the domain of Smart Energy, specifically: Building Automation Systems.
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.
Certified policy synthesis for general Markov decision processes: An application in building automation systems
Sofie Haesaert‚ Nathalie Cauchi and Alessandro Abate
In Performance Evaluation. Vol. 117. No. Supplement C. Pages 75−103. December, 2017.
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
Nathalie Cauchi‚ Khaza Anuarul Hoque‚ Alessandro Abate and Mariëlle Stoelinga
Model−based predictive maintenance in building automation systems with user discomfort
Nathalie Cauchi‚ Karel Macek and Alessandro Abate
In Energy. Vol. 138. No. Supplement C. Pages 306−315. 2017.