Direkt zum Inhalt
AIT Logo

Researcher Profile

Dr.techn. Willibald Krenn

Dr.techn. Willibald Krenn

Function

Thematic Coordinator

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: 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

Back