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 the TrAmS-2 project, on modelling and analysis of dependability attributes, primarily at the architectural level in SysML.
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.