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).

School of Computing Science

University of Glasgow

Address:    Sir Alwyn Williams Building

                  17 Lilybank Gardens


                  G12 8RZ

                  United Kingdom

Office:        G112

Email:         y.lu.3@research.gla.ac.uk


Phone:       +44 (0) 141 330 8783