Roderick Bloem

Univ.-Prof. Ph.D.

Formal Methods, Professor

Roderick Bloem received his M.Sc. degree in Computer Science from Leiden University, the Netherlands in 1996, and his Ph.D. degree in Computer Science from the University of Colorado at Boulder, in 2001. He joined Graz University of Technology in 2002. From 2008, he has been a full professor of Computer Science at the same university and is currently head of the department of Computer Science and Biomedical Engineering.
Roderick Bloem has published over 100 peer reviewed papers in formal verification, reactive synthesis and security and is an editor of the Handbook of Model Checking. He led the Austrian National Research Network on Rigorous Systems Engineering and has organized events including the Computer Aided Verification conference and Formal Methods in Computer Aided Design.
My manuals on how to write an exam and/or a thesis are here.
Roderick Bloem


I teach

  • Verification and Testing
  • Selected Topic in Design and Verification




The Austrian Computer Science Day


How to reach me, in rough order of preference.

  1. Email:
  2. FB messenger, you will know how to find me
  3. Cell: +43 664 60 873 5580 (I am normally on CET)
  4. Skype: roderickbloem
  5. WhatsApp
  6. Google hangouts:
  7. Signal
  8. webex:
  9. Discord: roderick.bloem
  10. Mail: Roderick Bloem, Inffeldgasse 16a, 8010 Graz AUSTRIA


Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs

Gigerl B., Hadzic V., Primas R., Mangard S., Bloem R.
Proceedings of the 30th USENIX Security Symposium, 30th USENIX Security Symposium

Online Shielding for Stochastic Systems

Könighofer B., Bloem R., Tappler M., Rudolf J., Palmisano A.
NASA Formal Methods, 13th NASA Formal Methods Symposium

Learning Mealy Machines with One Timer

Vaandrager F., Bloem R., Ebrahimi M.
14th-15th International Conference on Language and Automata Theory and Applications

Adaptive Testing for Specification Coverage in CPS Models

Bartocci E., Bloem R., Maderbacher B., Manjunath N., Nickovic D.
7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, 7th IFAC Conference on Analysis and Design of Hybrid Systems

Shield Synthesis for Reinforcement Learning

Könighofer B., Bloem R., Jansen N., Lorber F.
Leveraging Applications of Formal Methods, Verification and Validation, Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings, 2020 International Symposium on Leveraging Applications of Formal Methods, 290-306, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS)

More Publications