Phone: 7 812 571 4392 (office Steklov)
E-mail: yumat@pdmi.ras.ru
Homepage: https://logic.pdmi.ras.ru/~yumat/index.php