Сведения об авторах.
Русский | English   поискrss RSS-лента

Главная  → Книги и компьютерная пресса  → Андрей Петрович Ершов — ученый и человек  → Сведения об авторах

Сведения об авторах

Бауэр Фридрих Л. — член Баварской Академии наук, профессор, директор Института информатики Мюнхенского технического университета (1969).

Берс Андрей Александрович (р. 1934) — доктор технических наук (1996), главный научный сотрудник ИСИ СО РАН, член Ученого совета Института, профессор НГУ,  член оргкомитета Летней школы юных программистов, научный руководитель федеральной авторской школы «Пеликан» (г. Бердск).

Брыскин Владимир Вениаминович (р. 1931) — кандидат технических наук, в 1946—1963  служил в ВМФ, последние пять лет — командиром подводной лодки.
1963—2002 — старший научный сотрудник Института математики СО РАН.

Бульонков Михаил Алексеевич (р. 1959) — математик, окончил НГУ (1981), кандидат физико-математических наук (1990), заведующий лабораторией смешанных вычислений Института систем информатики им. А. П. Ершова СО РАН (1997).

Бьорнер Динес — профессор Датского технического университета, специалист в области доказательных и систематических методов разработки программного обеспечения, один из авторов широко известного «венского метода» разработки программ, руководитель разработки нескольких систем программирования, в частности, транслятора для языка АДА. В течение 5 лет возглавлял организованный им в Макао под эгидой ООН Институт системного программирования, организовал несколько крупных конференций в различных частях света, был сопредседателем программных комитетов трех конференций «Перспективы систем информатики», посвященных памяти А. П. Ершова и проходивших в новосибирском Академгородке.

Городняя Лидия Васильевна   — кандидат физико-математических наук (1986), доцент (1994), старший научный сотрудник лаборатории САПРиА СБИС ИСИ
СО РАН. 

Дейкстра Эдсгер В. (1930—2002) — один из основоположников современной вычислительной науки, член Королевской Академии наук Нидерландов, член Американской Академии искусства и науки, Выдающийся член Британского вычислительного общества.

Евстигнеев Владимир Анатольевич (р. 1940) — доктор физико-математических наук (1992), профессор (1995), главный научный сотрудник лаборатории конструирования и оптимизации программ ИСИ СО РАН. Ученый секретарь Комиссии по системному математическому обеспечению Координационного комитета АН СССР по вычислительной технике (1978—1988).

Ершова Нина Михайловна — вдова академика А. П. Ершова. Закончила МГУ. Долгое время работала в ИМ СО АН СССР. Живет в Новосибирске.

Замулин Александр Васильевич (1943—2006) — доктор физико-математических наук (1990), профессор (2002), главный научный сотрудник лаборатории систем программирования ИСИ СО РАН.

Земанек Хайнц (р. 1920) — специалист в области теории программирования и алгоритмических языков, с 1994 г. иностранный член по Отделению информатики, вычислительной техники и автоматизации РАН (микроэлектроника), заслуженный деятель науки ABM, профессор Венского университета.

Ильин Валерий Павлович (р. 1937) — доктор физико-математических наук (1977), профессор (1983), заведующий отделом математических задач физики и химии ИВМиМГ СО РАН.

Касьянов Виктор Николаевич (р. 1948) — доктор физико-математических наук (1989), профессор (1992), член Академии естественных наук (1994), главный научный сотрудник лаборатории конструирования и оптимизации программ ИСИ
СО РАН.

Катков Владислав Леонидович (р. 1936) — доктор физико-математических наук, зав. лабораторией НИИЭВМ (Минск).

Кнут Дональд (р. 1938) — профессор Стэнфордского университета, член Национальной академии наук США, Тьюрингов лауреат, один из крупнейших американских специалистов в области системного программирования.

Котов Вадим Евгеньевич (р. 1938) —  член-корреспондент РАН  (1990), ученик А. П. Ершова. Заведовал лабораторией теоретического программирования в отделе А. П. Ершова в ВЦ СО АН СССР, был заместителем директора ВЦ, ответственным за исследования в области информатики. Первый директор Института систем информатики СО АН СССР (1990). Основные научные работы — в области теории параллельных систем и вычислений, а также ее приложений  к анализу и конструированию больших вычислительных систем. В настоящее время возглавляет финансируемые НАСА исследования в этой области в Университете Карнеги-Меллон в США.  

Курляндчик Галина Владиленовна — в 1972—1988 работала с А. П. Ершовым, была секретарем отдела, затем — хранителем библиотеки.

Любимский Эдуард Зиновьевич (р. 1931) — доктор физико-математических наук (1974), профессор, зав. отделом Института прикладной математики
им. М. В. Келдыша. Специалист в области разработки, программирования и сопровождения сложных программных систем и баз данных.

Маккарти Джон (р. 1928) — профессор Стэнфордского университета, один из отцов-основоположников современного программирования, создатель языка LISP.

Малинина Татьяна Константиновна (1906—1994) — мать А. П. Ершова.

Мейер Бертран — профессор, создатель Eiffel, популярного языка объектного программирования. Руководит созданной им фирмой Eiffel Software, а также возглавляет Computer Science Department в ETH (Swiss Federal Institute of Technology Zurich).

Миякава Масахиро (р. 1943) — сотрудник Электротехнической лаборатории, г. Цукуба, Япония.

Нариньяни Александр Семенович (р. 1937) — директор по научной работе РосНИИ искусственного интеллекта, г. Москва.

Первин Юрий Абрамович  (р. 1935) — кандидат физико-математических наук, доктор педагогических наук, профессор, директор образовательного учреждения «Роботландия+» (Переславль-Залесский). Один из первых соратников
А. П. Ершова в области школьной информатики.

Подловченко Римма Ивановна — математик, доктор физико-математических наук (1986), профессор (1989).  Преподавала в Ереванском государственном университете (1968—1993). Ведущий научный сотрудник НИВЦ МГУ (1993). Заслуженный деятель высшей школы Армянской СССР (1981).

Поттосин Игорь Васильевич (1933—2001) — один из ведущих российских ученых в области системного программирования, доктор физико-математических наук (1990), профессор (1993), Заслуженный деятель науки Российской Федерации (1999), главный научный сотрудник ИСИ СО РАН (1998—2001).

Рар Александр Федорович (р. 1928) — научный сотрудник лаборатории системного программирования ИСИ СО РАН.

Трахтенброт Борис Авраамович (р. 1921) — доктор физико-математических наук, специалист в области математической логики, теории алгоритмов, теоретической кибернетики. В 1960—1970 гг. работал в Институте математики СО АН СССР и в НГУ. С 1981 г. — профессор Тель-Авивского университета (Израиль).

Трахтенброт Марк Борисович (р. 1950) — в 1971—1984 был сотрудником отдела программирования ВЦ СО АН СССР, после эмиграции в Израиль работал  в нескольких компьютерных фирмах, в настоящее время — доцент  в Открытом Университете Израиля (г. Раанана) и в Академическом Институте Технологии (г. Холон). Занимается исследованиями в области формальных методов спецификации и тестирования сложных систем.

Турский Владислав — профессор Института математических машин Польской Академии наук.

Тыугу Энн Харальдович (р. 1935) — член-корреспондент АН ЭССР, Институт кибернетики АН Эстонской ССР.

Хоар Энтони  (р. 1934) — профессор,  ведущий научный сотрудник Microsoft Research  Ltd. Тьюрингов лауреат (1980), член Королевского общества (1982). Создатель алгоритма Quicksort, доказательного программирования (Hoare logic), теории взаимодействующих последовательных процессов.

Шварц Джейкоб — профессор Математического института им. Куранта Нью-Йоркского университета.

Шварцман Михаил Исаакович — президент финансовой фирмы ValueSearch Capital Management, LLC в Суомпскотте, штат Массачусетс, США, где он управляет долговременными инвестициями своей семьи и своих клиентов в акционерные корпорации.

Шень Александр Ханевич — кандидат физико-математических наук, старший научный сотрудник Института проблем передачи информации РАН.

Из сборника «Андрей Петрович Ершов — ученый и человек». Новосибирск, 2006 г.
Перепечатываются с разрешения редакции.

Проект Эдуарда Пройдакова
© Совет Виртуального компьютерного музея, 1997 — 2017