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.

Tags: LVL, Partial Order Reduction, Symbolic Model Checking

Sections

• LVL Home Page
• News
• Research Themes
• Publications
• Talks
• Tools
• Staff
• Contact

Tag cloud

Verification Diagnosis Autonomy ModelChecking Planning PDDL Requirements Testing LTL ThemeCoverage HumanComputerInteraction UserModel ProjectMOVES ThemeHMI LVL Website SymbolicModelChecking CTL Actions SMV EpistemicLogic ProjectNASA PartialOrderReduction BoundedModelChecking ThemePOR TemporalLogic Simulation Tools Tutorial Publication Equivalences