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.
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
Nick Benton, Vasileios Koutavas, A Mechanized Bisimulation for the Nu-Calculus, Journal of Higher Order and Symbolic Computation, 2012, Journal Article, ACCEPTED  URL
Vasileios Koutavas and Matthew Hennessy, First-Order Reasoning for Higher-Order Concurrency. , Journal of Computer Languages, Systems and Structures, 38, (3), 2012, p242-277 , Journal Article, PUBLISHED  TARA - Full Text  DOI
Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii, From Applicative to Environmental Bisimulation, Electronic Notes in Theoretical Computer Science, Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVII), Pittsburg, PA, USA, 2011, edited by Michael Mislove, Joël Ouaknine , 276, Elsevier, 2011, pp215 - 235, Conference Paper, PUBLISHED  TARA - Full Text  DOI  URL
  

Page 1 of 2
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