Lina Marsso

Papers

Total Citations

H-Index

About

Lina Marsso is a leading researcher at the intersection of formal methods and socially responsible software engineering. Her work focuses on ensuring that autonomous and interactive systems—from assistive robots to chatbots—operate safely within social, legal, ethical, empathetic, and cultural (SLEEC) norms. Marsso’s major contribution is the development of formal techniques to analyze and debug normative non-functional requirements (N-NFRs), transforming vague ethical constraints into precise, verifiable specifications. Her most-cited paper, “Analyzing and Debugging Normative Requirements via Satisfiability Checking” (2024, 13 citations), introduces a groundbreaking approach using satisfiability solvers to detect conflicts and gaps in normative rules before deployment. She also created the LEGOS-SLEEC tool (2025), which provides a practical framework for formalizing and validating these requirements. This work is critical for preventing harms in high-stakes domains like transportation and healthcare, where system misbehavior can have severe consequences. Marsso’s research bridges the gap between abstract ethical principles and concrete software verification, earning her recognition as a pioneer in value-sensitive design. Her contributions are shaping how engineers build trustworthy, norm-compliant AI systems.