N-SIDE
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.
This person is not in any offices