
Department of Computer Engineering and Software Engineering
Computer vision Intelligent systems applications Software engineering Other computing methods Logic programming
Environment, Economy, and Society
Modeling and Artificial Intelligence New Frontiers in Information and Communication Technologies
Research interests and affiliations
My research interests lie in formal methods and conformance testing, software engineering, requirements engineering, and the development of dependable and trustworthy artificial intelligence systems.
- 2603 Computer vision
- 2604 Intelligent systems applications
- 2706 Software engineering
- 2709 Other computing methods
- 2802 Logic programming
Biography
Lina Marsso is an assistant professor, at the department of software engineering at the Polytechnique Montréal, and associate academic member at Montreal-based artificial intelligence research institute. She was a post-doctoral researcher in the Department of Computer Science at the University of Toronto working with Marsha Chechik. She received her PhD from INRIA Grenoble, France where she was advised by Radu Mateescu and Ioaniss Parissis. Her recent work is in the combination of safety, social, legal, ethical, empathetic, and cultural, verification and analysis of autonomous systems. Lina was organizer and served as PC Chair on the first International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components and the sixth International Workshop on Automated and Verifiable Software System Development.
Education
- PhD in Computer Science (2019) - Université Grenoble Alpes
- Magistere of Computer Science (2016) - Université Grenoble Alpes
- Master of Science in Informatics (2016) - Université Grenoble Alpes
- Bachelor in Informatics (2014) - Université de Strasbourg
- University Diploma in Technology in Computer Science (2012) - Université de technologie de Belfort Montbéliard