Temesghen Kahsai

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