Lina Marsso

Email: lina (dot) marsso (at) inria (dot) fr

Address: Inria Grenoble - Rhône-Alpes
655, avenue de l'Europe
Montbonnot Saint-Martin


I am currently doing a post-doc at the University of Toronto in the group of Marsha Chechik.

I was a PhD student member of the CONVECS project-team (Inria Grenoble - Rhône-Alpes and LIG). I defended in December 2019 my PhD thesis, entitled "On Model-based Testing of GALS Systems", under the supervision of Radu Mateescu, Ioannis Parissis, and Wendelin Serwe. I received an MSc degree in computer science in 2016 from the University of Grenoble.

During my PhD, I developed new methods to automate test generation for Globally Asynchronous Locally Synchronous (GALS) systems. This involved the formal modeling of GALS applications, the exploration of the models on the fly, as well as the integration of synchronous and asynchronous testing techniques.

My research interests include formal methods, process algebra, model-based testing, program analysis and verification.


For my recent publications [click here (DBLP)]

Formal models