Banner Left
Logo
E-Government Innovation Center

EGIZ, led by Arne Tauber, is a joint effort of the Office of the Austrian Chancellery and IAIK. EGIZ provides the scientific background to the highly successful e-Government developme...

Read more...


Logo
Systematic Construction of Correct Systems

The Systematic Construction of Correct Systems group, led by Prof. Roderick Bloem, focuses on the design, implementation, and verification of secure and correct systems....

Read more...

Institute of Applied Information Processing and Communications

 


Formal Methods Secure Crypto-implementations Secure e-Government Trustworthy Systems
Dec 3
"IAIK Student Research Excellence Award 2016"
We are proud to announce the winners of this year's "Student Research Excellence Awards": Christian ...
Read more »
Dec 2
"Bachelor@IAIK 2017" and "Best Of IAIK 2016"
On Dec. 2nd, 12:00, we will present new bachelor project topics at the IAIK. Furthermore, we are goi...
Read more »
Nov 08
Successful PhD defence
The Systematic Construction of Correct Systems is happoy to announce that Daniel Hein succe...
Read more »