Оглавление
Эрик Хенер
-
Биография и образование
- Эрик “Рик” Си. R. Хенер родился 16 сентября 1947 года в Оттаве, Канада.
- Изучал математику и физику в Карлтонском университете, получил степень бакалавра наук в 1969 году.
- Изучал компьютерные науки в Университете Торонто, получил степени магистра наук и доктора философии в 1970 и 1974 годах соответственно.
-
Карьера и достижения
- В 1983 году стал полноправным профессором Университета Торонто.
- В 2001 году возглавил кафедру программной инженерии университета Белл.
- В 2012 году вышел на пенсию.
-
Основные исследования
- Основное направление исследований Хенера – формальные методы проектирования программного обеспечения.
- Разработал метод, названный Практической теорией программирования, который рассматривает спецификации и программные конструкции как двоичные выражения.
- Метод применим к различным типам программ и включает временные и пространственные границы.
-
Другие области исследований
- Хенер также занимался вероятностным программированием, унифицированной алгеброй и высокоуровневым проектированием схем.
- В 1979 году изобрел кавычковую нотацию для представления рациональных чисел.
-
Участие в международных стандартах
- Участвовал в разработке международных стандартов в области программирования и информатики.
- Был членом Рабочей группы 2.1 IFIP по алгоритмическим языкам и вычислениям, которая определила языки программирования ALGOL 60 и ALGOL 68.
- Был членом Рабочей группы 2.3 IFIP по методологии программирования.
-
Дополнительная информация
- Книга Хенера “Практическая теория программирования” доступна бесплатно в формате PDF.
- Архивные документы Хенера хранятся в Службе архивов и делопроизводства Университета Торонто.