Redirecting to the correct site

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

Publications

Teaching

2019-2020

Architecture and Systems

See the webpage

Discrete mathematics

See the webpage

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