Dimitrios Kouzapas

Dimitrios Kouzapas

Research Associate

University of Cyprus

Dimitrios Kouzapas has received his PhD in theoretical computing from Imperial College London in 2013. His PhD thesis is titled “A Study of Bisimulation Theory for Session Types”. He was a Research Associate at the School of Computing Science, University of Glasgow for the ABCD project. He is currently a Research Associate at the University of Cyprus.

His role in the project involved the implementation of a static checker for typestate types for the Java programming language and study the interplay between the typestate type system for objects and session types.

His research interests include theoretical computing, design and implementation of compilers and distributed systems. More specifically Dr. Kouzapas in his research addresses issues in distributed type theory, bisimulation theory and encodability results, design and implementation of type checkers for the Java programming language. Recently he is involved in developing behavioural types for privacy.


  • Distributed Type Theory
  • Bisimulation Theory and Encodability Results
  • Design and Implementation of Type Checkers for Java


  • PhD in Computer Science, 2013

    Imperial College London