Name of thesis:
Search space reduction techniques for deterministic finite automata inference with Boolean satisfiability problem solving
Thesis supervisor Co-supervisor / Scientific advisorOfficial reviewers
Utkin Lev Vladimirovich
Doctor of Technical Sciences
Peter the Great St.Petersburg Polytechnic University, Head of the Department
Download reviewMembers of the Academic Degree Council
Bezzateev Sergey V.
Doctor of Science, associate professor
ITMO University, professor
Bogachev Mikhail I.
doctor of engineering, associate professor
Saint Petersburg Electrotechnical University "LETI", associate professor
Kudryashov Boris D.
Doctor of Science, professor
ITMO University, professor
Matveev Yuriy N.
Doctor of Science
ITMO University, professor
Mouromtsev Dmitry I.
PhD, associate professor
ITMO University, associate professor
Osipov Evgeny
PhD, full professor
Lulea University of Technology, full professor
Parfenov Vladimir G.
Doctor of Science, professor
ITMO University, professor
Shalyto Anatoly A.
Doctor of Science, professor
ITMO University, Professor
Skobtsov Yuri A.
doctor of engineering, professor
Saint Petersburg State University of Aerospace Instrumentation, professor