Roderick Bloem joins IAIK as Professor

We are very happy to announce that Roderick Bloem is joining IAIK as a professor. With Reinhard Posch and Vincent RIjmen, Roderick will be the third professor at IAIK. Roderick's research interests are in formal methods, particularly in reactive synthesis and fault repair. Roderick holds an MSc degree from Leiden University and a PhD from the University of Colorado at Boulder