Lina Marsso

Post-Doctoral Researcher, University of Toronto
lina (dot) marsso (at) utoronto (dot) ca

Hi! I am a post-doctoral researcher in the Department of Computer Science at the University of Toronto in the Modelling and Verification group, with Professor Marsha Chechik. My research interests include formal methods, process algebra, model-based testing, program analysis and verification.

Current Research Activities

Educational Background

I did my PhD in the CONVECS team at Inria, under the supervision of Professor Radu Mateescu, Professor Ioannis Parissis, and Professor Wendelin Serwe. I defended in December 2019 my PhD thesis, entitled "On Model-based Testing of GALS Systems". I received an MSc degree in computer science in 2016 from the University of Grenoble and my bachelor degree in computer science in 2014 from the University of Strasbourg.


For the complete list [click here (DBLP)]

Formal models


If you are interested in my research and would like to collaborate, please contact me.

Academic Service

Pro Bono Office Hours

I allocate time each week to provide guidance, advice, or mentorship to students in need, especially those from underrepresented groups. If you're interested, please contact me (lina (dot) marsso (at) utoronto (dot) ca).