Roderick Bloem

Roderick Bloem is Full Professor of Computer Science at Graz University of Technology, heading the Institute of Information Security. He holds MSc from Leiden University (1996) and PhD from University of Colorado Boulder (2001).

His research develops formal methods for verification, reactive synthesis, and hardware security. Current projects include: adaptive simplex architectures for safety-critical systems, controller synthesis for blackbox systems, provably secure cryptographic implementations, and threat model repair frameworks.

Bloem edited the Handbook of Model Checking and organized premier conferences including Computer Aided Verification (CAV) and Formal Methods in Computer Aided Design (FMCAD). He leads Austrian National Research Network on Rigorous Systems Engineering.