Speaker: Temesghen Kahsai

Software Engineer, previously Research Scientist @NASAAmes

Temesghen works as a software engineer. His primary role at his current company 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. Temesghen holds a PhD in computer science from the University of Wales in Swansea.

Find Temesghen Kahsai at

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.