Dr.techn. Willibald Krenn

Function
Thematic Coordinator
Center
Digital Safety & Security
Competence Unit
Security & Communication Technologies
Address
Giefinggasse 4, 1210 Vienna
Career
Field: Dependable Systems Engineering
Main Research: Automated Testcase Generation / Formal Methods
Experience:
- 2010-2012: Compiler Engineer
Maxeler Technologies / UK - 2006-2010: Research Assistant
Institute for Software Technology, Graz University of Technology / Austria
Further Information
- Project homepage MoMuT
- Publications AIT publications database