Dr. Dimitra Giannakopoulou
Research Scientist
Research Institute for Advanced Computer Science
Dr. Giannakopoulou conducts computer science research in formal design and verification of large software systems. This work is focused on developing automated techniques for detecting software integration issues by decomposing system level properties into their requisite component properties. Components can then be tested in isolation, providing a more scalable approach to verification. Using these techniques, Dr. Giannakopoulou, working in collaboration with colleagues at NASA’s Ames Research Center and Johnson Space Center, has successfully identified coding errors in several NASA software systems, including those on the International Space Station.
About RIACS
The Research Institute for Advanced Computer Science (
RIACS) is focused on developing the next generation enabling technologies that will facilitate both human and robotic space exploration. Since its inception in 1983, the Institute has conducted basic and applied computer science research across a variety of aerospace-related disciplines, including supercomputing, computational fluid dynamics, computational chemistry, high-performance networking, and artificial intelligence.
For more information about Dr. Giannakopoulou’s work, please visit:
