I am currently a PhD student under the supervision of Finkel Alain and Haddad Serge. My thesis is on Machine learning and verification of infinite-state systems
Curriculum vitae
Publications