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. I am currently working with Caroline Hu and Nick Feng. 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.


Publications

For the complete list [click here (DBLP)]

Formal models


Academic Service