Models of concurrent computation: Syntax, Semantics, and type theory.
My research focuses on types for communication, typed behavioural semantics,
and relative expressiveness.
Design and implementation of tools for structured communication.
Particularly, in the practical application of session types.
Formal methods for information privacy.
Specifically, formal frameworks and analysis techniques for information privacy
Positions and Grants
Reseach Associate, Department of Computing Science, University of Glasgow, June 2013 - May 2018.
Programme Grant: From Data Types to Session Types: A Basis for Concurrency and Distribution
Research Fellow, Department of Computing, Imperial College London, May 2014 - April 2015.
Award Grant: EPSRC Doctoral Prize Award.
D. Kouzapas, R. Gutkovas, S. J. Gay.
Session Types for Broadcasting.
In: Proceedings of the 7th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, PLACES 2014.