About me

I’m currently a Research Associate on the STARDUST project at the University of Kent School of Computing, working with Laura Bocchi and Simon Thompson. Previously I was PhD student in the School of Computing Science, University of Glasgow, supervised by Professor Simon Gay. My research involved working with session types on the From Data Types to Session Types: A Basis for Concurrency and Distribution(ABCD) Project.

Research interests: programming languages and semantics; static analysis for correctness, consistency, safety and liveness properties in distributed systems; the design and implementation of tools for communication safety