Dimitra Giannakopoulou
Papers
2
Total Citations
9
H-Index
2
About
Dimitra Giannakopoulou is a leading researcher in formal methods and safety-critical systems, with a focus on verification and validation for autonomous and aerospace technologies. Her work centers on developing rigorous mathematical techniques to ensure the reliability of complex systems, particularly in aviation and space exploration. She is best known for her contributions to the NASA Formal Methods Symposium, which she co-founded and which has become a key venue for advancing assurance in safety-critical systems, including autonomous robots and separation assurance algorithms. Her research on statistical prediction of failures in aircraft collision avoidance systems, such as the ACAS X family, demonstrates her impact on real-world safety—her 2019 paper on this topic highlights her ability to apply formal methods to predict and mitigate risks in high-stakes environments. With over 6 citations for her foundational work on the NASA Formal Methods Symposium, Giannakopoulou has shaped the field by bridging theory and practice. Her achievements include leading NASA’s formal methods initiatives and contributing to the development of tools that enhance the dependability of next-generation aviation systems.
Research Focus
Key Achievements
Top Papers
- 1Proceedings of the First NASA Formal Methods Symposium6 citations · 2009
- 2