Prof. Vasileios Koutavas is an Assistant Professor in the School of Computer Science and Statistics at Trinity College Dublin. He completed his PhD at Northeastern University, focusing on the models of programming languages with state.

Vasileios’ research is primarily in the area of programming language semantics and concurrency with applications to formal methods for software engineering.
Currently he is working on relational techniques for software reasoning and verification tools for checking program equivalence and correctness. His work bridges two big areas in programming languages—Game Semantics and Bisimulation—to develop powerful software verification tools. These are not only for general programming languages, but also for those used in creating smart contracts.

He has also made contributions to process algebra, among which the development of so-called Communicating Transactions, a reversible programming construct which simplifies concurrent programming, Vasileios introduced new modelling and reasoning methods in the field of Self-Adaptive Systems, a particularly challenging area of software engineering. In addition, he has also co-invented Reverse Hoare Logic, an incorrectness logic for nondeterministic executions of program code. Through all his work, Vasileios aims to improve the way we develop and understand software.