Tewodros A. Beyene

Tewodros A. Beyene is an accomplished professional in the field of computer science, currently serving as the Head of Software Dependability at fortiss since October 2015, leading a team focused on formal verification, safety assurance, AI safety and explainability, and synthesis. Previous positions include Research Scientist at SRI International, Visiting Researcher at Technische Universität München, Research Assistant at Microsoft, and Graduate Assistant/Assistant Lecturer at Haramaya University. Tewodros A. Beyene holds a PhD in Computer Science, specializing in Formal Software Verification and Synthesis from the Technical University of Munich, along with two MSc degrees in Computational Logic from Universidade Nova de Lisboa and Universidad Politécnica de Madrid, respectively, and a BSc in Computer Science and IT from Haramaya University.