About
Research
Teaching
Tools and Projects

drawing Igor Khemelnitsky

I am a PhD student in the LSV in ENS Paris Saclay, under the supervision of Finkel Alain and Haddad Serge. My research is currently mainly focused on verification of infinite state systems, such as Petri nets, recursive Petri nets, well structured transition systems, etc. Since these type of systems can be hard to verify using the classical algorithms, I began trying to introduce machine learning technique to the verification of theses systems.

Research

Publications

Conference

2020

2019

Thesis

Talks

  1. A Tool for the Coverability Problems in Petri Nets - Tool demonstration in MSR’19, Angers France. drawing
  2. Coverability and Termination in Recursive Petri Nets - Petri nets 2019. drawing

Teaching

2019-2020

2018-2019

Tools