Dr. Vasileios Koutavas

Assistant Professor

School of Computer Science and Statistics

Trinity College Dublin

School of Computer Science and Statistics
Trinity College Dublin, Dublin 2, Ireland
Room 315, Lloyd Institute  map
+353 1 896 1115

Open Positions

PhD Position in Programming Languages and Concurrency
Starting September 2014 or March 2015



CS2010 - Algorithms and Data Structures I (Michelmas Term 2015/16)
CS4004/CS4504 - Formal Verification (Michelmas Term 2015/16)


CS2010 - Algorithms and Data Structures I (Michelmas Term 2014/15)
CS4004/CS4504 - Formal Verification (Michelmas Term 2014/15)
CS2012 - Programming Techniques II (Hillary Term 2013/14)



FOSSACS 2014: Bisimulations for Communicating Transactions
CONCUR 2013: Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation
TFP 2013: Towards Efficient Abstractions for Concurrent Consensus

all publications


Programming Languages and Concurrency:

I study the semantics of programming languages and concurrent systems to create models and proof techniques which can be used to weed out bugs from code. I'm particularly interested in programs and systems combining higher-order features (e.g., callbacks and code transmission) with side-effects (e.g., state and communication).

I am also interested in next-generation programming paradigms that can make multicore and distributed programming manageable. I am currently working on the foundational and practical aspects of a novel transactional construct called Communicating Transactions and on type systems which can express the communication patterns of software, often callled Behavioural Types.

Some Active Projects

Communicating Transactions (received funding from Microsoft Research and Science Foundation Ireland)
Higher-Order Concurrency (received funding from Science Foundation Ireland)
Behavioural Types (received funding from EU COST Action IC1201)



Aimee Borda (PhD Student)
Jan Scherbaum (PhD Student)
Carlo Spaccasassi (PhD Student)


Maxime Lesourd (Summer 2015 intern)
Filipe Belatti (Summer 2014 intern)
Laércio Andrade Guimarães (Summer 2014 intern)
Jan Scherbaum (Summer 2012 intern)

Conferences & Workshops

31st ACM Symposium on Applied Computing - Service-Oriented Architecture and Programming Track (SOAP 2015) -- PC Member
7th Interaction and Concurrency Experience Workshop (ICE 2014) -- PC Member
Second International Workshop on Behavioural Types (BEAT2 2013) -- PC Member
Dublin Concurrency Workshop 2011 -- Co-organiser


The TotCount LaTeX package for counting the number of items in a latex document.
How to make Coq and ProofGeneral work with GNU Emacs on Windows.
How to spell and pronounce my name.