Zoe obtained her BSc in Computer Science & Statistics at the University of Newcastle upon Tyne in 2004. After spending the Summer working as a General Duties Assistant for DIRC, she went on to take an MSc in Process Analytics and Quality Technology, also at Newcastle. After completing her MSc she worked as an RA for two months in the area of Complex Systems.
Zoe spent two years working as an RA on the ReSIST network of excellence and was responsible for work on developing metadata-based descriptions of resilience mechanisms and providing formal support for decision making over such mechanisms.
Zoe completed her PhD (supervised by Prof. John Fitzgerald
) on "Continuous Probability Distributions in Model-Based Specification Languages" in 2012. This investigated ways in which stochastic reasoning could be combined with logical reasoning for the specification and analysis of fault-tolerant systems.
Zoe is now working on the COMPASS
project. In particular, she is exploring ways of modelling and analysing faults in systems of systems.