Skip to main content

Trinity College Dublin, The University of Dublin

Menu Search


Trinity College Dublin By using this website you consent to the use of cookies in accordance with the Trinity cookie policy. For more information on cookies see our cookie policy.

      
Profile Photo

Dr. Vasileios Koutavas

Assistant Professor Software Systems (Computer Science)

 


I am an Assistant Professor in Software Systems in the School of Computer Science and Statistics, Trinity College Dublin. Within the Formal and Methods Group, I am leading research in the foundations of Programming Languages and Concurrent Systems, and the development of new programming paradigms for Concurrency. I obtained my doctorate in Computer Science from Northeastern University in Boston, MA, USA, by developing the mathematical foundations of programming languages with state. In the past I have been a Research Fellow at Trinity College Dublin, working on Concurrency theory.
Mezzina C.A, Koutavas V, A safety and liveness theory for total reversibility, Proceedings - 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, 2018, 2018-January, 2018, pp1 - 8, Conference Paper, PUBLISHED  DOI  URL
Borda A, Koutavas V, Self-adaptive automata, Proceedings - International Conference on Software Engineering, 2018, 2018, pp64 - 73, Conference Paper, PUBLISHED  DOI  URL
Borda A, Pasquale L, Koutavas V, Nuseibeh B, Compositional verification of self-adaptive cyber-physical systems, Proceedings - International Conference on Software Engineering, 2018, 2018, pp1 - 11, Conference Paper, PUBLISHED  DOI  URL
Vasileios Koutavas, Maciej Gazda, Matthew Hennessy, Distinguishing between Communicating Transactions, Information and Computation, 2018, 1-30 , Journal Article, PUBLISHED  DOI
Claudio Antares Mezzina, Vasileios Koutavas, A Safety and Liveness Theory for Total Reversibility (Extended Abstract), 11th International Symposium on Theoretical Aspects of Software Engineering (TASE), Sophia Antipolis, France, 13-15 September 2017, IEEE, 2017, pp1-8 , Conference Paper, PUBLISHED  DOI
Vasileios Koutavas, Maciej Gazda, Matthew Hennessy, Distinguishing between Communicating Transactions, CoRR abs/1703.03256, Arxiv - The Computing Research Repository (CoRR), 2017, Report, PUBLISHED  URL
Carlo Spaccasassi, Vasileios Koutavas, Type-Based Analysis for Session Inference (Extended Abstract), Lecture Notes in Computer Science, Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, Heraklion, Crete, Greece, 6-9 June 2016, edited by Elvira Albert and Ivan Lanese , 9688, Springer, 2016, pp248 - 266, Conference Paper, PUBLISHED
Vasileios Koutavas and Carlo Spaccasassi and Matthew Hennessy, Bisimulations for Communicating Transactions (Extended Abstract), Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures, Grenoble, France, 5-13 April 2014, edited by Muscholl, Anca , 8412, Springer Berlin Heidelberg, 2014, pp320 - 334, Conference Paper, PUBLISHED  DOI  URL
Carlo Spaccasassi, Vasileios Koutavas, Towards Efficient Abstractions for Concurrent Consensus, Lecture Notes in Computer Science, Trends in Functional Programming, Provo, Utah, USA, 14-16 May 2013, edited by Jay McCarthy , 8322, Springer Berlin Heidelberg, 2013, pp76 - 90, Conference Paper, PUBLISHED  TARA - Full Text  DOI
Koutavas, V., Hennessy, M., Symbolic bisimulation for a higher-order distributed language with passivation (extended abstract), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 24th International Conference on Concurrency Theory, CONCUR 2013, Argentina, 27-30 Aug, 8052, 2013, pp167-181 , Conference Paper, PUBLISHED  TARA - Full Text  DOI
  

Page 1 of 3
Edsko de Vries, Vasileios Koutavas, Locally Nameless Permutation Types, CoRR, abs/1710.08444, Arxiv - The Computing Research Repository (CoRR), 2017, Report, PUBLISHED
Claudio Antares Mezzina, Vasileios Koutavas, A Safety and Liveness Theory for Total Reversibility (Extended Abstract), CoRR abs/1604.05555, Arxiv - The Computing Research Repository (CoRR), 2016, Report, PUBLISHED
Carlo Spaccasassi, Vasileios Koutavas, Complete session types inference with progress guarantees for ML, CoRR abs/1510.03929, Arxiv - The Computing Research Repository (CoRR), 2015, Report, PUBLISHED
Carlo Spaccasassi, Vasileios Koutavas, Towards Efficient Abstractions for Concurrent Consensus, CoRR abs/1304.1913, Arxiv - The Computing Research Repository (CoRR), 2013, Report, PUBLISHED
Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii, Limitations of Applicative Bisimulation (Preliminary Report), 10351, 1862-4405, Dagstuhl Seminar Proceedings, Modelling, Controlling and Reasoning About State, Dagstuhl, 2010, Report, PUBLISHED