Roderick Bloem (and Sophie)

I am a full professor at the IAIK at Graz University of Technology. Here is my TUG online page.

My interest is in theoretical and practical aspects of (symbolic) model checking, including program repair, synthesis, and the connection between automata and temporal logics.

I have an MSc in computer science from Leiden University in the Netherlands, where I worked with Joost Engelfriet on the connection between transductions defined by monadic second order logic on the one side and attribute grammars on the other side. I received my Ph.D. in Computer Science from the University of Colorado. I worked in the VLSI/CAD group under the supervision of Fabio Somenzi.

Alpine Verification Meeting 2008

How to Reach Me

Courses

Diplom- and Magisterpruefungen

How to Write an Exam

Research

Publications

former students:

• Karin Greimel MSc Thesis,
• Andreas Griesmayer,
• Barbara Jobstmann,
• Ingo Pill,
• Stefan Staber Christian Kargl,
• Andreas Leitner,
• Georg Weissenbacher

Submit a paper to and visit the following events :

• CAV 2007
• CFV 2007
• COCV 2007
• DATE
• FDL 2007
• HVC 2007

Software

• Synthesis of hardware from LTL specifications: Lily - LTL Synthesis and Anzu - LTL Synthesis
• Vis, a model checker.
• Wring, a LTL to Büchi translator.

Links

• People and research groups in model checking.
• Books every computer scientist should have read (updated 2004 version).
• Have a look at good old David. I must say he doesn't look bad for his age.
  

-- J.S. Bach