Simon Busard

Simon Busard worked as an Assistant de recherche at Université catholique de Louvain from September 2010 to November 2017, conducting research in the field of counterexamples and symbolic model checking strategies. Since November 2017, Simon has been working as a Senior Software Engineer at N-SIDE.