Konstantin Chukharev


Konstantin successfully graduated from ITMO University, Faculty of Control Systems and Robotics in 2018 and got diploma with honors for a bachelor thesis on topic "Application of programming methods in constraints for generation of finite-automaton models of controllers in logical control problems". Alongside, Konstantin was a student of Bioinformatics Institute (2016–2017) and successfully finished it. Currently, he is a Master's student at ITMO University, Information Technologies and Programming Faculty, and a researcher in Computer Technologies Laboratory.

Supervisor: Daniil Chivilikhin.

Research interests: SAT, formal methods, automata synthesis, IEC-61499 function blocks, bioinformatics, phylogeny.