Vasileios Koutavas

Professor Vasileios Koutavas, is an Assistant Professor in Software Systems with the School of Computer Science and Statistics at Trinity College Dublin.

His research team is building new programming language technology to make concurrent computing reliable and easy to build, and is developing foundations and formal methods for parallel and distributed software systems.

Vasileios’ research interests include programming language theory and implementation, compilers, program analysis, formal methods and verification, concurrency theory and implementation, protocol verification, and modelling of adaptive systems.