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 […]