Вольфенгаген, Вячеслав Эрнстович

Вячеслав Эрнстович Вольфенгаген (30 марта 1948, Москва) — доктор технических наук, профессор, российский математик и инженер.

Вольфенгаген Вячеслав Эрнстович
Дата рождения 30 марта 1948(1948-03-30) (73 года)
Место рождения
Страна Россия
Научная сфера Компьютерные науки,
математическая логика,
программирование
Место работы
Альма-матер
Научный руководитель Кузин Л. Т.
Известен как Аппликативные вычислительные системы
Сайт wolfengagen.mephi.ru

В его исследованиях соединяются компьютерные науки, математика и математическая логика и направляются на установление фундаментальных понятий, которые адресуются к моделям и теории вычислений.

В 1970-80-е годы целью являлось написание, совместно с коллегами, серии книг, отражающих современное состояние теории компьютерных наук и компьютинга. Книги серии «Компьютерные науки и информационные технологии» написаны элементарными средствами и раскрывают изложение важнейших разделов компьютерных наук на основе теории аппликативных вычислительных систем, λ-исчисления и комбинаторной логики. На применяемый подход оказала влияние математическая школа Х. Карри — Д. Скотт, Р. Хиндли, Дж. Селдин, Х. Барендрегт, П.-Л. Курьен.

Кандидат технических наук (1977), тема диссертации «Теоретические и инженерные методы проектирования реляционных банков информации в АСУ».

Доктор технических наук (1990), тема диссертации «Концептуальный метод проектирования банков данных»[1].

Научные достиженияПравить

Для В. Э. Вольфенгагена основным интересом являются новейшие достижения в области компьютерных наук и информационных технологий. В 1970-е годы, применив метод погруженных вычислительных систем, он, вместе с коллегами и учениками, организовал разработку прототипной реляционной СУБД, интегрированной с аппликативной средой вычислений[1]. В сотрудничестве с коллегами написал работы по теории реляционных систем и теории систем концептуального моделирования. Получил результаты и опубликовал работы по аппликативным вычислениям, теории вычислений, моделям вычислений, логике, комбинаторной логике, исчислению λ-конверсий, моделям данных, категориальной абстрактной машине, семантическим сетям, семантике языков программирования.

Внёс вклад в разработку теории реляционных систем. Внес важный вклад в разработку теории аппликативных вычислительных систем.

Развил исследования по построению моделей вычислений в декартово замкнутой категории.

Текущая работаПравить

Профессор кафедры технической кибернетики МИФИ и кафедры физико-технической информатики МФТИ.

БиблиографияПравить

Статьи последних лет
Основные книги

ПримечанияПравить

  1. Применён Пантелеевым.

СсылкиПравить

Живое видео