Mahsa Varshosaz

Dr. Mahsa Varshosaz is an Associate Professor in the Software Quality Research group at the IT University of Copenhagen, Denmark. Her work bridges theoretical and practical aspects of software quality assurance, with a focus on model-based testing, formal verification, and automatic program repair for complex systems.

Her research spans software product lines, autonomous systems, and cyber-physical systems, including projects like REMARO (testing of underwater robotic systems) and Linux kernel program repair. She employs formal methods to address challenges in system safety, reliability, and variability.

Selected publications reveal a trajectory in hybrid testing techniques combining symbolic execution and reinforcement learning, safety analysis of autonomous underwater vehicles, and formal verification of probabilistic systems. Her work intersects

• software testing
• formal methods
• AI-based verification
• robotics safety
• product line engineering
• concurrent system analysis

.

She actively contributes to academia as

• Co-Chair of Doctoral Symposium in SPLC conferences
• Editorial Board member of Science of Computer Programming
• Program Committee member across testing/verification workshops like A-MOST, ITEQS, and ECOOP

.

Her 2023 invited talk series at Trustworthy Autonomous Systems Verifiability Node and participation in Dagstuhl/Shonan seminars highlight her influence in unifying formal methods with AI-based autonomous systems. Projects include REMARO (co-coordinator) and INSIGHT.