News

Jose Vander Meulen completes his PhD

Created by pecheur, at June 15, 2012, at 12:50 PM

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.