Mahsa Varshosaz

Mahsa Varshosaz is an Associate Professor in Software Engineering at the IT University of Copenhagen, specializing in AI safety, formal verification, and program repair. Her work bridges theoretical research with practical applications in autonomous systems, particularly marine robotics.

• Current research focuses on model-based testing and formal specification for reinforcement learning systems
• Active in program repair techniques for concurrency bugs
• Collaborates with European Commission-funded initiatives in AI safety

Recent publications highlight her expertise in autonomous underwater vehicle safety analysis and static program analysis for locking bugs. Her work intersects software engineering, artificial intelligence, and systems validation.

Key projects include REMARO (Reliable AI for Marine Robotics) and DIREC (Verifiable and Safe AI), funded by major research foundations. She contributes to open-access datasets and peer-reviewed research through collaborations.