Photo

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
@
email

Open Positions

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

Teaching

Current:

CS2010 - Algorithms and Data Structures I (Michelmas Term 2014/15)
CS4004 - Formal Verification (Michelmas Term 2014/15)

Past:

CS2012 - Programming Techniques II (Hillary Term 2013/14)

Publications

Latest:

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

Research

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)

Students

Current:

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

Former:

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

Conferences & Workshops

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

Miscellanea

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.

News