Shiva Nejati

Shiva Nejati is a Professor at the University of Ottawa's School of Electrical Engineering and Computer Science. He holds a PhD in Computer Science from the University of Toronto and previously worked as a Senior Scientist (2012-2019) and Scientist (2009-2012) at the SnT Centre (University of Luxembourg) and Simula Research Laboratory.

• Research focus: Software engineering for cyber-physical systems (autonomous vehicles, IoT), blending formal verification, machine learning, and search-based testing
• Key tools developed: ARIsTEO, SOCRaTEs, SimCoTest, EPIcuRus
• Editorial roles: Associate Editor for EMSE Journal (2025–), ASE Journal (2025–), IEEE Transactions on Software Engineering (2020–2024)

His work combines formal methods, empirical software engineering, and AI/ML to address verification challenges in complex systems, particularly through evolutionary algorithms and surrogate modeling. Notable collaborations include industry partners in telecommunications, automotive, and aerospace sectors.

Recent publications emphasize large language models for requirements analysis, adversarial testing of vision systems, and multi-objective optimization for test generation. His Sedna Research Lab actively trains graduate students in these cutting-edge methodologies.