Andrey Morozov
Principal research fellow, head of the Laboratory of Logical Systems of the Sobolev Institute of Mathematics
Professor of the Novosibirsk State University, Dr.Sc., Ph.D.