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.
Teaching
I teach- Verification and Testing
- Selected Topic in Design and Verification
Students
Current:
Former:
- Nicolas Braud-Santoni
- Karin Greimel at NXP
- Andreas Griesmayer at ARM
- Rinat Iusupov
- Anja Karl
- Daniel Hein at Aiti
- Georg Hofferek at ADBSAFEGATE
- Barbara Jobstmann at EPFL, Cadence,
- Ayrat Khalimov at Université Libre de Bruxelles
- Robert Koenighofer at ADBSAFEGATE
- Stefan Kraxberger at secinto,
- Ingo Pill at Graz University of Technology,
- Martin Pirker at Fachhochschule Sankt Pölten
- Franz Roeck at ADBSAFEGATE
- Stefan Staber at Cadence
- Ronald Toegl at Infineon
- Johannes Winter at NXP
Service
The Austrian Computer Science Day How to reach me, in rough order of preference.- Email: roderick.bloem@iaik.tugraz.at
- FB messenger, you will know how to find me
- Cell: +43 664 60 873 5580 (I am normally on CET)
- Skype: roderickbloem
- Google hangouts: roderick.bloem@gmail.com
- Signal
- webex: roderick.bloem@iaik.tugraz.at
- Discord: roderick.bloem
- Mail: Roderick Bloem, Inffeldgasse 16a, 8010 Graz AUSTRIA
Publications
Shields for Safe Reinforcement Learning
Könighofer B., Bloem R., Jansen N., Junges S., Pranger S.
Communications of the ACM, Vol. 68(11), 2025
An Adaptive, Provable Correct Simplex Architecture
Maderbacher B., Schupp S., Bartocci E., Bloem R., Nickovic D., Könighofer B.
International Journal on Software Tools for Technology Transfer, 2025
Synthesis of Controllers for Continuous Blackbox Systems
Maderbacher B., Windisch F., Larrauri Borroto L., Bloem R.
Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Proceedings
Efficient and Composable Masked AES S-Box Designs Using Optimized Inverters
Hadzic V., Bloem R.
IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2025(1), 2024
Synthesis from Infinite-State Generalized Reactivity(1) Specifications
Maderbacher B., Windisch F., Bloem R.
Leveraging Applications of Formal Methods, Verification and Validation