Vladimir Ulyantsev

Associate Professor & Computer Technologies Lab head – ITMO University, St. Petersburg, Russia

Born in Leningrad, USSR in 1990.
In 2007 graduated from St. Petersburg’s Lyceum No. 239. Completed Bachelor’s studies in ITMO University’s Computer Technologies Department in 2011, and Master’s studies – in 2013. Defended my PhD thesis on “Finite-state machine synthesis using SAT and CSP solvers” in 2015, supervised by Anatoly Shalyto.
Detailed bio in english provided here.

Professional interests: Research Administration, Bioinformatics, Combinatorial Optimization, Evolutionary Algorithms, Generative Design, SAT, Machine Learning.

На русском: биография, гранты, студенты, лекции.


2022-02-14 Two interdisciplinary papers have been published! On Hi-C Metagenomics in Frontiers in Microbiology, and on ML for polaritonic lattices study in Communications Physics.
2021-10-15 Finally, our paper on SAT instances hardness evaluation using EA presented on CP’21!
2021-09-25 New paper published on applying evolutionary algorithms to design silicon nanosphere metalenses with predefined focusing properties
2021-08-17 New paper on donor-recipient metagenomic diversity analysis published in mSystems
2021-07-27 Won a “personal” RSCF grant! Small one, but the first one for me on bioinformatics.
2021-07-24 WOW! The website was finally released!
2021-06-29 Katya Noskova becomes a winner of Skoltech’s Fellowship Program 2021! Grats!
2020-12-16 Ilya Zakirzyanov got his PhD!
2020-12-01 This website development started.

selected publications

  1. GigaScience
    GADMA: Genetic algorithm for inferring demographic history of multiple populations from allele frequency spectrum data
    Noskova Ekaterina, Ulyantsev Vladimir, Koepfli Klaus-Peter, O’Brien Stephen J, Dobrynin Pavel
    GigaScience 2020
  2. Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
    Zakirzyanov Ilya, Morgado Antonio, Ignatiev Alexey, Ulyantsev Vladimir, Marques-Silva Joao
    In Language and Automata Theory and Applications 2019
  3. Bioinf
    MetaCherchant: analyzing genomic context of antibiotic resistance genes in gut microbiota
    Olekhnovich Evgenii, Vasilyev Artem, Ulyantsev Vladimir, Kostryukova Elena, Tyakht Alexander
    Bioinformatics 2018
  4. Bioinf
    MetaFast: fast reference-free graph-based comparison of shotgun metagenomic data
    Ulyantsev Vladimir, Kazakov Sergey, Dubinkina Veronika, Tyakht Alexander, Alexeev Dmitry
    Bioinformatics 2016
  5. BFS-based symmetry breaking predicates for DFA identification
    Ulyantsev Vladimir, Zakirzyanov Ilya, Shalyto Anatoly
    In International Conference on Language and Automata Theory and Applications 2015