Vladimir Ulyantsev

Vladimir Ulyantsev received the bachelor’s and master’s degrees in applied mathematics and informatics and the Ph.D. degree in technical sciences (mathematics and software for computing systems) from ITMO University, Saint Petersburg, Russia, in 2011, 2013, and 2015, respectively. He is currently an Associate Professor and the Head of the Computer Technologies Laboratory, ITMO University. His research interests include SAT solvers, formal verification and synthesis, bioinformatics, evolutionary algorithms, combinatorial optimization, and machine learning.