I'm Clément Gillard, I worked as an intern on the Vcsn project, and then as a research students on the Spot project, I worked on emptiness checks and counterexample searches.