logo Mungo

Dr. Ornela Dardha

I am a Research Associate at the School of Computing Science, University of Glasgow, working on the ABCD project with Simon Gay. I did my PhD in Computer Science at the University of Bologna, under the supervision of Davide Sangiorgi. I received my BSc and MSc in Computer Science at Sapienza University of Rome. During my PhD I spent one year at the ITU of Copenhagen, visiting Marco Carbone. I am also a member of the BETTY project. My research interests include programming languages and formal methods. In particular, I am interested in static analysis for concurrent and distributed systems.

You can find more detailed information about me in my personal website.

Dr. Dimitrios Kouzapas

Dimitrios Kouzapas has received his PhD in theoretical computing from IC London in 2013. His PhD thesis is titled "A Study of Bisimulation Theory for Session Types". He is currently employed as a Research Associate at the School of Computing Science at the University of Glasgow for the ABCD project. His role in the project involves 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.

Dr. Roly Perera

I'm a research associate at the School of Computing Science, University of Glasgow, working on the ABCD project with Simon Gay.

Prior to that I was at LFCS, School of Informatics, University of Edinburgh, where I worked with James Cheney as part of the Programming Languages and Foundations group. From March 2016 I will be splitting my time equally between these two departments.

I did a PhD at University of Birmingham under the supervision of Paul Levy. The last two years of my PhD were spent at MPI-SWS, working with Umut Acar. I also did a postdoc there with Deepak Garg.

You can find more detailed information about me in my personal website.

Prof. Simon Gay

Simon Gay is Professor of Computing Science and has been at the University of Glasgow since 2000. He is the Glasgow PI of the ABCD project (From Data Types to Session Types: A Basis for Concurrency and Distribution) and is Chair of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems (BETTY). He has contributed to the study of session types in pi calculus, in functional languages, and in object-oriented languages; the latter work provides the foundation for Mungo.

You can find more detailed information here.