Igor KHMELNITSKY

PhD student, ENS-Saclay

About

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

About LSV

Contact

Igor KHMELNITSKY
Address
LSV, CNRS & ENS Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
igor (dot) khmelnitsky (at) lsv.fr