Андрей Сергеевич Морозов
Главный научный сотрудник, и.о. зав. Лабораторией логических систем
Института Математики им. С.Л. Соболева СО РАН
Профессор Новосибирского университета, профессор, доктор физ.-мат. наук