Vladimir Ulyantsev's homepage

Vladimir Ulyantsev Ph.D. in CS @ ITMO University (Finite-State Machines, Algorithms, Machine Learning, SAT, Bioinformatics)
Date and place of birth: 1990, Leningrad, USSR
Citizenship: Russian Federation

Feel free to get in touch with me via:
Email: [second_name]@rain.ifmo.ru

VK profile
Twitter profile [RU]

Scopus page
Google Scholar profile
My tools on GitHub



Education

2004 – 2007: Physics and Mathematics Lyceum №239, St. Petersburg, Russia.
2007 – 2011: B.Sc., Applied Mathematics and Informatics, Saint-Petersburg National research university of Information technologies, mechanics and optics (ITMO University). The topic of graduate thesis: “Applying SAT-Solvers for Extended Finite-State Machine Induction from Test Scenarios” (Russian: «Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы»).
2011 – 2013: M.Sc., Applied Mathematics and Informatics, Saint-Petersburg National research university of Information technologies, mechanics and optics (ITMO University). The topic of graduate thesis: “Extended Finite-State Machine Induction from Test Scenarios Using CSP-Solvers” (Russian: «Построение управляющих конечных автоматов по сценариям работы на основе решения задачи удовлетворения ограничений»).
2013 – 2015: Ph.D. student, Saint-Petersburg National research university of Information technologies, mechanics and optics (ITMO University).

Selected papers

Links

Department site: is.ifmo.ru
Daniil Chivilikhin's homepage: rain.ifmo.ru/~chivdan
Maxim Buzdalov's homepage: rain.ifmo.ru/~buzdalov/
Arina Buzdalova's homepage: rain.ifmo.ru/~afanasyeva/
Sergey Kazakov's homepage: rain.ifmo.ru/~svkazakov/