fortiss
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.
fortiss
1 followers
fortiss’s mandate is to facilitate research and technology transfer in software-intensive systems and services, thereby triggering future ready innovation, with a focus on Bavaria. In this role fortiss acts as a technological think tank, bridging the notorious gap between fundamental research in academia and its fruitful implementation in anindustrially and commercially feasible context.