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.

Research goal

My long-term research goal is to enable the development of intelligent systems that are safe and responsible. Specifically, I aim to answer the following questions: What exactly does it mean for an intelligent system to be safe and responsible? How can we develop approaches that assess whether such systems comply with established standards? Finally, when a system fails to comply, how can we adapt its behaviour to meet the defined standards? To answer these questions, I integrate formal methods with software engineering techniques.

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).