![](https://archive.qconsf.com/sites/qcon_sf/files/styles/240x240/public/pic-for-april-2017-spotlight.png?itok=iOSjCkpt)
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.