In 2015, Ilya graduated from the Applied Mathematics and Informatics Faculty at the Saint-Petersburg National research university of Information technologies, mechanics and optics (ITMO University) with a bachelor's degree. Currently he is a student at a master’s program.
- Formal Languages and Automata Theory
- Grammatical Inference
BeBoSy: Behavior Examples meet Bounded Synthesis
Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
Ilya Zakirzyanov, Antonio Morgado, Alexey Ignatiev, Vladimir Ulyantsev, Joao Marques-Silva
Active Learning of Formal Plant Models For Cyber-Physical Systems
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto
Applying reinforcement learning and supervised learning techniques to play Hearthstone
Ilya Kachalsky, Ilya Zakirzyanov, Vladimir Ulyantsev
Finding all minimum-size DFA consistent with given examples: SAT-based approach
Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev
BFS-Based Symmetry Breaking Predicates for DFA Identification
Ulyantsev V., Zakirzyanov I., Shalyto A.