Researcher Profile

Willibald Krenn

 Willibald Krenn

Function

Scientist

Center

Digital Safety & Security

Competence Unit

Security & Communication Technologies

E-Mail

Willibald.Krenn(at)ait.ac.at

Phone

+43 50550 4109

Address

Giefinggasse 4, 1210 Vienna

Career

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