Speaker: Teme Kahsai

Software Engineer @AWS, previously Research Scientist @NASAAmes

Teme works as a software engineer in AWS Security. His primary role at AWS is to develop automated logic-based verification tools for cloud security. Previously, he was a research scientist in the Robust Software Engineering group at NASA Ames, working on software verification tools for mission critical systems. During his tenure at NASA, he was also affiliated as a senior system scientist at Carnegie Mellon University (Cylab) where he led three research projects funded by NASA, NSF and DARPA. Teme holds a PhD in computer science from the University of Wales in Swansea.

Find Teme Kahsai at

Talk: Modern CS Presentation

Other talks from track Modern CS in the Real World

Founder @Tozny & Authentication and Privacy Specialist
Haskell, Type Theory, & Functional Programming Theory Contributor