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. From 2002 until 2008, he was an Assistant at Graz University of Technology, Graz, Austria. From 2008, he has been a full professor of Computer Science at the same university. He has published over 100 peer reviewed papers in formal verification, reactive synthesis and security. He leads 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