Профессор, доктор физико-математических наук.
Основные темы научной работы
Доказана разрешимость универсальной теории сложения и делимости натуральных чисел (1976). Получены машинные (итеративные) описания начальных классов Гжегорчика (1976-1979). Доказано отсутствие конечного базиса относительно суперпозиции у множества одноместных функций класса Гжегорчика E0 (1979). Построены формальные теории для порождения алгоритмов решения задаваемых задач с задаваемой вычислительной сложностью (1980, 1997). Создан эффективный метод дедуктивного синтеза алгоритмов, содержащих рекурсии (1993). E0
Научная биография:
Окончил математико-механический факультет ЛГУ в 1975 г. (кафедра математического обеспечения ЭВМ). Кандидатская диссертация — 1979 г. («Некоторые свойства сложностных классов алгорифмов»). Докторская — 1993 г. («Дедуктивный синтез алгоритмов с учетом вычислительных ресурсов»).