Maryam Kamali

Papers

Total Citations

H-Index

About

Dr. Maryam Kamali is a leading researcher in formal verification and safety assurance for autonomous systems, with a particular focus on autonomous vehicles. Her work addresses the critical challenge of ensuring the reliability and safety of self-driving technologies through rigorous mathematical methods. She organized and edited the proceedings of the first Workshop on Formal Verification of Autonomous Vehicles (2017), held in Turin, Italy, which helped establish a dedicated forum for this emerging interdisciplinary field. This foundational contribution has garnered over 5 citations and laid the groundwork for subsequent research. Dr. Kamali’s research integrates formal methods—such as model checking and theorem proving—with real-world autonomous vehicle design, enabling the verification of complex behaviors like collision avoidance and decision-making under uncertainty. Her contributions are vital for bridging the gap between theoretical computer science and practical engineering, making autonomous systems safer and more trustworthy. Through her work, she has influenced both academic research and industry practices, inspiring a new generation of engineers and researchers to prioritize formal verification in the development of autonomous technologies.