Доктор физико-математических наук

Профессор

Институт математики им. С.Л. Соболева CО РАН заведующий лабораторией логических систем

Новосибирский государственный университет профессор кафедры дискретной математики и информатики