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
Go to the news overview.