About me

I am a PhD student in the School of Computing Science, University of Glasgow, supervised by Professor Simon Gay. My research involves working with session types on the From Data Types to Session Types: A Basis for Concurrency and Distribution(ABCD) Project. I am a member of the FATA research section, and the Programming Languages theme.

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