Zoe is a Research Associate with interests in dependability, architectural modelling, formal methods, probability, systems of systems and cyber-physical systems. She currently works on: modelling and analysis of dependability attributes, primarily at the architectural level (UK EPSRC TrAmS-2 project); and producing roadmaps and strategic agendas for the development of dependable cyber-physical systems (EU H2020 Road2CPS and TAMS4CPS projects).
Prior to this Zoe worked on the COMPASS project, where she developed extensions to SysML in order to support modelling and analysis of faults in systems of systems.
Zoe was awarded 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 also 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 support for decision making over such mechanisms.
Zoe has a BSc in Computer Science & Statistics and an
MSc in Process Analytics and Quality Technology, both from Newcastle University.