Dmitrii Suvorov

Biography

In 2018, Dmitrii graduated from ITMO University with a masters's degree. Currently he is a postgraduate student.

Supervisor: Vladimir Ulyantsev.

Research interests: SAT, formal methods, automata synthesis.