Дмитрий Суворов

Биография

Дмитрий закончил магистратуру Университета ИТМО в 2018 году. В настоящее время продолжает обучение в аспирантуре там же.

Научный руководитель: Ульянцев Владимир.

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