Константин Чухарев

Биография

Константин успешно окончил бакалавриат Университета ИТМО на факультете систем управления и робототехники в 2018 году и получил диплом с отличием по теме «Применение методов программирования в ограничениях для генерации конечно-автоматных моделей контроллеров в задачах логического управления». Параллельно, Константин был студентом Института биоинформатики (2016–2017) и успешно закончил его. В настоящее время Константин – магистрант факультета информационных технологий и программирования в Университете ИТМО, а также исследователь в лаборатории Компьютерных технологий.

Научный руководитель: Чивилихин Даниил.

Научные интересы: SAT, формальные методы, синтез конечных автоматов, функциональные блоки стандарта IEC-61499, биоинформатика, филогенетика.