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)
OREILLY INSTITUTE

 vkoutav@tcd.ie

 3531896 1115


Biography

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, Yu Yang Lin, Nikos Tzevelekos, Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence, LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, 8-12 July 2024, Association for Computing Machinery, 2024, pp1 - 15, Conference Paper, PUBLISHED  DOI  URL
Vasileios Koutavas; Yu-Yang Lin; Nikos Tzevelekos, Fully Abstract Normal Form Bisimulation for Call-by-Value PCF, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Boston, MA, USA, 26-29 June 2023, IEEE, 2023, pp1 - 13, Conference Paper, PUBLISHED  TARA - Full Text  DOI
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos, From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques, LNCS, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (ETAPS 2020), Munich, Germany, 2-7 April 2022, 13244, Springer, 2022, pp178 - 195, Conference Paper, PUBLISHED  TARA - Full Text  DOI  URL
Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield, From CCS to CSP: the m-among-n Synchronisation Approach, Electronic Proceedings in Theoretical Computer Science, Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, Warsaw, Poland, 12th September 2022, edited by Valentina Castiglioni, Claudio Antares. , Open Publishing Association, 2022, pp60 - 74, Conference Paper, PUBLISHED  TARA - Full Text  DOI
Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield, Translation of CCS into CSP, Correct up to Strong Bisimulation, Springer LNCS, Software Engineering and Formal Methods (SEFM 21), online, 6-10th December 2021, edited by Radu Calinescu, Corina S. Pasareanu , 13085, Springer, 2021, pp243 - 261, Conference Paper, PUBLISHED  TARA - Full Text  DOI
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos, Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques, ML Family Workshop 2021, online (collocated with ICFP 2021), 26 August 2021, 2021, Conference Paper, PUBLISHED  TARA - Full Text  URL
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
  

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