Wytse Oortwijn wins best IPA poster presentation award at ICT.OPEN2016

During the ICT.OPEN2016 event on 22 and 23 March, 2016, Wytse Oortwijn won the best IPA poster presentation award. The poster, titled "Static Verification of Message Passing Programs", covers ongoing work on the verification of distributed programs, jointly with Stefan Blom and Marieke Huisman.

March 23, 2016
See this news item in overview by year.