Wytse Oortwijn PHD thesis defence is approaching

Wytse has contributed to VerCors for several years, during his PhD projects in the FMT group under the supervision of Prof Marieke Huisman. He will be defending his thesis, entitled "Deductive Techniques for Model-Based Concurrency Verification" on Thursday 12th of December, 16:30 to 18:00 at Waaier, 4-G, Berkhoffzaal, University of Twente. For an introduction to his thesis and more information about the defence follow this link.