Dimitra Giannakopoulou

Principal Researcher, Amazon
Joined
July 2019

Names

Dimitra Giannakopoulou

Emails

****@nasa.gov (Confirmed)
, 
****@amazon.com (Confirmed)

Personal Links

Career & Education History

Principal Researcher
Amazon (amazon.com)
2021 – Present
Principal Researcher
Ames Research Center, NASA (nasa.gov)
2000 – 2021
PhD student
Computing, Imperial College London (imperial.ac.uk)
1994 – 1999

Advisors, Relations & Conflicts

No relations added

Expertise

autonomy
, 
trust in AI
2000 – Present
automated reasoning
, 
formal verification
, 
requirements engineering
, 
testing
1994 – Present
distributed systems
1994 – Present

Publications

Co-Authors