Temesghen Kahsai

• [2024-current] Head of AWS Neuron Compiler. Leading the Neuron Graph Compiler team — building ML compiler infrastructure for AWS Trainium accelerators with PyTorch/JAX integration.
• [2021-2024] 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.

Personal Projects

• 🌿 SAGE — A semi-formal specification language for AI-assisted development. Blends natural language with types and contracts.
  Read the blog post →

Past Projects

• Introducing SAGE: A Language for the Age of AI-Powered Development
• 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