Эрик Хенер - Eric Hehner

Эрик К. Р. Хенер
Родившийся (1947-09-16) 16 сентября 1947 г. (возраст 73)
Оттава, Онтарио, Канада
ГражданствоКанада
ОбразованиеКарлтонский университет (B.Sc., 1969)
Университет Торонто (M.Sc., 1970; Кандидат наук., 1974)
ИзвестенПредикативное программирование
Формальные методы
Обозначение цитаты
АЛГОЛ
Научная карьера
ПоляИнформатика
Программирование
УчрежденияУниверситет Торонто
Под влияниемТони Хоар
Интернет сайтwww.cs.Торонто.edu/ ~ хенер

Эрик "Рик" К. Р. Хенер (родился 16 сентября 1947 г.) Канадский специалист в области информатики. Он родился в Оттава. Он учился математика и физика в Карлтонский университет, получив диплом Бакалавр (B.Sc.) в 1969 году. Информатика на Университет Торонто, получив диплом Магистр естественных наук (M.Sc.) в 1970 году и Доктор Философии (Доктор философии) в 1974 году. Затем он присоединился к факультету, став профессором в 1983 году. Он стал кафедрой Университета Белла в программная инженерия в 2001 году и вышел на пенсию в 2012 году.[1]

Основное направление исследований Хенера - формальные методы разработки программного обеспечения. Его метод, первоначально названный предикативное программирование, позже названный практической теорией программирования, заключается в рассмотрении каждого Технические характеристики быть двоичным (логический ) выражение, а каждая программная конструкция должна быть двоичным выражением, определяющим эффект выполнения программной конструкции. Уточнение просто значение. Это простейший формальный метод и самый общий, применимый к последовательным, параллельно, автономный, сообщающийся, завершающий, непрерывающий, естественное время, в реальном времени, детерминированный, и вероятностные программы, и включает временные и пространственные ограничения. Эта идея повлияла на других исследователей информатики, в том числе Тони Хоар.

Другие области исследований Хенера включают вероятностное программирование, унифицированную алгебру и проектирование схем высокого уровня. В 1979 году Хенер изобрел обобщение дополнение системы счисления называется обозначение цитаты, который является представлением рациональное число это позволяет упростить арифметические операции и исключает ошибку округления.

Он участвовал в разработке международные стандарты в программировании и информатике, как член Международная федерация обработки информации (ИФИП) Рабочая группа 2.1 ИФИП по алгоритмическим языкам и исчислениям,[1][2] который указан, поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68.[3] и Рабочей группы 2.3 IFIP по методологии программирования.[1]

Рекомендации

  1. ^ а б c Хенер, Эрик К. Р. (3 мая 2020 г.). "Эрик К. Р. Хенер". Департамент компьютерных наук. Университет Торонто. Получено 2020-07-27.
  2. ^ Jeuring, Йохан; Меертенс, Ламберт; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП». Фосвики. Получено 2020-10-16.
  3. ^ Swierstra, Doaitse; Гиббонс, Джереми; Меертенс, Ламберт (2011-03-02). "ScopeEtc: IFIP21: Foswiki". Фосвики. Получено 2020-10-16.

внешняя ссылка