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.
PhD in Computer Science, 2013
Imperial College London