Roderick Bloem
Univ.-Prof. Ph.D.Faculty & Group Leaders, Team Bloem
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.
Teaching
I teach the following courses:
Students
Current:
- Masoud Ebrahimi
- Rinat Iusupov
- Anja Karl
- Bettina Koenighofer
Former students:
- Nicolas Braud-Santoni
- Karin Greimel at NXP
- Andreas Griesmayer at ARM
- Daniel Hein at ADBSAFEGATE
- Georg Hofferek at ADBSAFEGATE
- Ayrat Khalimov at Université Libre de Bruxelles
- Robert Koenighofer at ADBSAFEGATE
- Stefan Kraxberger at secinto,
- Barbara Jobstmann at EPFL, Cadence,
- 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