Scholar
Roderick Bloem
Google Scholar ID: Sv1AfEYAAAAJ
Graz University of Technology
Citations & Impact
Citations
5,075
H-index
31
i10-index
82
Publications
20
Co-authors
120
list available
Publications
Resume (English only)
Academic Achievements
- Published over 100 peer-reviewed papers, mainly in formal verification, reactive synthesis, and security. He is an editor of the Handbook of Model Checking.
Research Experience
- Joined Graz University of Technology in 2002. Since 2008, he has been a full professor of Computer Science at the same university. He led the Austrian National Research Network on Rigorous Systems Engineering and organized events such as the Computer Aided Verification conference and Formal Methods in Computer Aided Design.
Education
- Received his M.Sc. in Computer Science from Leiden University, the Netherlands in 1996, and his Ph.D. in Computer Science from the University of Colorado at Boulder in 2001.
Background
- Research Interests: Formal methods, reactive synthesis, and security. Profile: Roderick Bloem is a Professor of Computer Science at Graz University of Technology and currently the head of the Department of Computer Science and Biomedical Engineering.
Miscellany
- Personal interests include reading books that every computer scientist should read. He also wrote manuals on how to write an exam and/or a thesis.
