Dimitra Giannakopoulou
Dimitra Giannakopoulou
Principal Researcher, Amazon
Joined
July 2019
Names
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
Expertise
autonomy
, trust in AI
2000 – Present
automated reasoning
, formal verification
, requirements engineering
, testing
1994 – Present
distributed systems
1994 – Present
Publications
Co-Authors
- Ali Torkamani
- Aman Goel
- Andrew M. Kent
- Benjamin Kiesl-Reiter
- Byron Cook
- Darion Cassel
- Dejan Jovanović
- Divya Raghunathan
- Duncan Clough
- Ferhat Erata
- Jeffrey J. Kuna
- Jianan Yao
- Joe Hendrix
- Joseph Lilien
- Marc Hudak
- Michael Tautschnig
- Nadia Labai
- Nafi Diallo
- Nathaniel Weir
- Nick Feng
- Niloofar Razavi
- Rémi Delmas
- Sam Bayless
- Zvonimir Rakamaric