Researcher Profile

Willibald Krenn

 Krenn

Function

Scientist

Center

Digital Safety & Security

Business Unit

Safe and Autonomous Systems

Address

Tech Gate Vienna, Donau-City-Strasse 1, 1220 Vienna

Career

Area: Highly Reliable Software and Systems

Field: Assessment and Testing of Autonomous and Safety-Critical Systems

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

Back