Temesghen Kahsai
Home
Research
© 2021. All rights reserved.
[2021-current] Principal Applied Scientist @ Amazon Devices.
[2018-2021] Head of Software @
Groq Inc
[2017-2018] Sr. Software Engineer @ AWS Security (Automated Reasoning Group)
[2013-2017] Research Scientist @
NASA Ames Research Center
, member of the
Robust Software Engineering
group in the Intelligent System Division.
[2015-2017] Staff Software Engineer @
NASA Resource Prospector Mission
.
[2013-2017] Senior System Scientist @
Carnegie Mellon University CyLAB
.
Past Projects
ISSTAC: Integrated Symbolic Execution for Space-Time Analysis of Code
CrAVES: Credible Autocoding and Verification of Embedded Software
CoCo: Safety Analysis of Flight Critical Systems
CaVa: Compositional Analysis of Android Bluetooth Software Stack
