Simon Busard joins LVL

Created by pecheur, at September 08, 2010, at 07:32 AM

The LVL team welcomes new researcher Simon Busard.

Simon joins LVL after graduating as an Engineer in Computer Science last June. His research, following his master thesis, concerns the enrichment of diagnostic information in symbolic model checking.