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