Ryan Kavanagh

Ryan Kavanagh

Professeur
Unité : Département d'informatique
Courriel : kavanagh.ryan@uqam.ca
Téléphone : (514) 987-3000 poste 21020
Langues : Français, Anglais
Liens d'intérêt
Informations générales

Cheminement académique

Chercheur postdoctoral CRSNG (NSERC Postdoctoral Researcher) à l'Université McGill (2021–2023)

Doctorat en informatique (Doctor of Philosophy in Computer Science) à l'Université Carnegie Mellon (2021)

Maîtrise ès sciences: Informatique — Recherche (Master of Science: Computer Science — Research) à l'Université Carnegie Mellon (2018)

Baccalauréat enrichi en informatique (Bachelor of Computing, Honours, Computing and Mathematics with Professional Internship) à l'Université Queen's (2015)

Programme « Math in Moscow » à l'Université indépendante de Moscou (2014)

Unités de recherche

  • Laboratoire de combinatoire et d'informatique mathématique (LACIM)

Affiliations externes principales

Enseignement

Publications

Articles scientifiques
  • Sano, C., Garg, D., Kavanagh, R., Pientka, B. et Toninho, B. (2025). Fusing Session-Typed Concurrent Programming into Functional Programming. Proceedings of the ACM on Programming Languages, 9(ICFP), article 250, 435–462. http://dx.doi.org/10.1145/3747519.
  • Kavanagh, R. et Pientka, B. (2024). Message-Observing Sessions. Proceedings of the ACM on Programming Languages, 8(OOPSLA1), article 142, 1351–1379. http://dx.doi.org/10.1145/3649859.
  • Sano, C., Kavanagh, R. et Pientka, B. (2023). Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity. Proceedings of the ACM on Programming Languages, 7(OOPSLA2), article 235, 374–399. http://dx.doi.org/10.1145/3622810.
  • Kavanagh, R. (2022). Fairness and communication-based semantics for session-typed languages. Information and Computation, 285(Part B), article 104892. http://dx.doi.org/10.1016/J.IC.2022.104892.
  • Kavanagh, R. et Brookes, S. (2019). A Denotational Semantics for SPARC TSO. Logical Methods In Computer Science, 15(2). http://dx.doi.org/10.23638/LMCS-15(2:10)2019.
  • Adams, B., Kavanagh, R., Hassan, A.E. et Germán, D.M. (2016). An empirical study of integration activities in distributions of open source software. Empirical Software Engineering, 21(3), 960–1001. http://dx.doi.org/10.1007/S10664-015-9371-Y.
Thèses
Actes de colloque
  • Kavanagh, R. (2020). Parametrized Fixed Points and Their Applications to Session Types, Electronic Notes in Theoretical Computer Science, 352, 149-172. https://doi.org/10.1016/j.entcs.2020.09.008.
    Notes: numéro intitulé: The 36th Mathematical Foundations of Programming Semantics Conference, 2020
  • Kavanagh, R. (2020). Substructural Observed Communication Semantics. Dans O. Dardha et J. Jurriaan Rot (dir.). EPTCS 322, Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, Online, 31 August 2020, (p. 69-87). https://doi.org/10.4204/EPTCS.322.7.
  • Kavanagh, R. et Brookes, S. (2018). A Denotational Semantics for SPARC TSO, Electronic Notes in Theoretical Computer Science, 336, 223-239. https://doi.org/10.1016/j.entcs.2018.03.025.
    Notes: numéro intitulé: The Thirty-third Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII), 12-15 June 2017 • Ljubljana, Slovenia. Edited by Alexandra Silva
Autres publications
  • Kavanagh, R., Sano, C. et Pientka, B. (2025). Deconstructed Proto-Quipper: A Rational Reconstruction. arXiv (plateforme accès libre), 2510.20018. http://dx.doi.org/10.48550/arXiv.2510.20018
    Notes: soumis au: 35th European Symposium on Programming (ESOP 2026)
  • Kavanagh, R. (2020). A Domain Semantics for Higher-Order Recursive Processes. arXiv (plateforme accès libre), 2002.01960. https://arxiv.org/abs/2002.01960
  • Kavanagh, R. et Madiot, J.-M. (2014). On Coupled Logical Bisimulation for the Lambda-Calculus. arXiv (Cornell University), 1410.2833. http://arxiv.org/abs/1410.2833
...