News

Jose Vander Meulen completes his PhD

Created by pecheur, at June 15, 2012

On Friday 17. April, Josť Vander Meulen brilliantly passed the public defense of his doctorate thesis entitled "Combining Partial Order Reduction with Symbolic Model Checking".

Josť thus becomes the first researcher to earn his PhD in the young LVL team. He was also the first to join Charles Pecheur back in 2006, initiating what would become LVL a few years later. Stay tuned on this channel for updates on his upcoming endeavours.


Tags Tags: , ,