I am a Scottish Informatics and Computer Science Alliance (SICSA) Prize PhD Student, and my research theme is Modelling and Abstraction. I am a member of Formal Analysis, Theory and Algorithms (FATA) research group, School of Computing Science, University of Glasgow, United Kingdom. My first supervisor is Dr. Alice A. Miller, and my second supervisor is Dr. Gethin Norman. My main research interest is formal methods, specifically using model checking to specify and verify probabilistic and real-time systems. I am a member of the Institute of Electrical and Electronics Engineers (IEEE) and the Institute of Navigation (ION).•