Dr. Dimitrios Kouzapas

Dimitrios Kouzapas

Department of Computing Science
University of Glasgow
17 Lilybank Gardens
Glasgow
United Kingdom
Email: Dimitrios.Kouzapas@glasgow.REMOVE.ac.uk

I am a Research Associate in the School of Computing Science, University of Glasgow,
working on the project From Data Types to Session Types: A Basis for Concurrency and Distribution.

Research Interests

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

Current

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 (EPSRC EP/K034413/1)

Past

Research Fellow, Department of Computing, Imperial College London, May 2014 - April 2015.
Award Grant: EPSRC Doctoral Prize Award.

Publications ( dblp ) ( Google Scholar)

D. Kouzapas, O. Dardha, R. Perera and S. J. Gay. Typechecking protocols with Mungo and StMungo. In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming. ACM Press, 2016.

D. Kouzapas, J. A. Perez, N. Yoshida. On the Relative Expressiveness of Higher-Order Session Processes. In: Proceedings of the 25th European Symposium on Programming ESOP 2016.

D. Kouzapas, N. Yoshida, R. Hu, K. Honda. On Asynchronous Eventful Session Semantics. In: Mathematical Structures of Computer Science, 26(2), 2016.

D. Kouzapas, J. A. Perez, N. Yoshida. Characteristic Bisimulation for Higher-Order Session Processes. In: Proceedings of the Concurrency Theory - CONCUR 2015.

D. Kouzapas, A. Philippou. Type Checking Privacy Policies in the pi-calculus. In: Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems FORTE 15, 2015.

D. Kouzapas, J. A. Perez, N. Yoshida. Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness. Technical Report, 2015.

D. Kouzapas, N. Yoshida. Globally Governed Session Semantics. In: Logical Methods in Computer Science, 10(4), 2014.

G. Bernardi, O. Dardha, S. J. Gay, D. Kouzapas. On Duality Relations for Session Types . In: Proceedings of the 9th International Symposium Trustworthy Global Computing, TGC 2014.

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.

D. Kouzapas, N. Yoshida. Globally Governed Session Semantics. In: Proceedings of the Concurrency Theory - CONCUR 2013.

D. Kouzapas, A. Philippou. A Typing System for Privacy. In: Proceedings of the SEFM Workshops 2013.

D. Kouzapas, A. Philippou. A Process Calculus for Dynamic Networks. In: Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems - FMOODS/FORTE 2011.

D. Kouzapas, N. Yoshida, K. Honda. On Asynchronous Session Semantics. In: Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems - FMOODS/FORTE 2011.

R. Hu, D. Kouzapas, O. Pernet, N. Yoshida, K. Honda. Type-Safe Eventful Sessions in Java , In. Proceedings of the 24th European Conference Object-Oriented Programming - ECOOP 10, 2010.

Dissertations

D. Kouzapas. A Study of Bisimulation for Session Types. PhD Thesis, Imperial College London, 2013.

D. Kouzapas. A Session Type Discipline for Event Driven Programming Models. MSc Thesis, Imperial College London, 2009.