Dr. Dimitra Giannakopoulou delivered several invited lectures in May and June 2011. The first lecture on May 27, titled Automating Compositional Verification, was given at the SRI Summer School on Formal Techniques in Menlo Park, California. She next taught a class from June 13-18, including a lab session on Context Synthesis at the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, in Bertinoro, Italy. Finally, she was an invited speaker on June 28th at the Distinguished Lecturer Series Leon the Mathematician at the Aristotle University of Thessaloniki, Greece, delivering a talk titled State Space Exploration for NASA’s Safety Critical Systems.
These talks reviewed several aspects of Dr. Giannakopoulou’s research in the verification of safety-critical systems. They also included open research topics in order to inspire researchers in these areas. The talks were very well received, attracted long discussions with the audience, and opened up perspectives for new international collaborations.
BACKGROUND: Dr. Giannakopoulou’s research is concerned with the verification of flight critical software. In particular, her work targets compositional, and hence more scalable, techniques for ensuring correctness of designs and implementations of such software. She has been studying verification techniques based on model checking and testing.
NASA PROGRAM FUNDING: Verification and Validation of Flight Critical Systems (VVFCS)
Contact: Dr. Dimitra Giannakopoulou