Dr. rer. nat.
Tewodros Beyene

Dependability Engineering
Telefon
+49 89 3603522 24

Dr. Tewodros Beyene studierte Informatik an der Technische Universität München und promovierte dort 2015 im Bereich der Horn-constraints basierenden formalen Programm Verifikation und Synthese. Danach kam er ans fortiss und nahm seine Arbeit in der Dependability Engineering Abteilung auf.Bei fortiss, arbeitet er in erster Linie an einem Weg evidenzbasierten kontinuierlichen Architektur für formale Argumentations Werkzeuge zu integrieren. Er interessiert sich auch für formale Methoden auf allen Ebenen des Software-Entwicklungs-Lebenszyklus der Anwendung, das heißt, in den Anforderungs-, Architektur- und Code-Ebenen.