Хэ Цзифэн

редактировать
Китайский ученый-компьютерщик
Хэ Цзифэн (何 积 丰)
Родилсяавгуст 1943. Шанхай, Китай
НациональностьКитаец
Альма матерУниверситет Фудань. Восточно-китайский педагогический университет
ИзвестенОбъединяющими теориями программирования
Научная карьера
СферыИнформатика, формальные методы
УчрежденияВосточно-китайский нормальный Университет. Оксфордский университет. Шанхайский университет Цзяо Тонг. Университет Организации Объединенных Наций
ВлияниеТони Хоар

Хе Цзифэн (упрощенный китайский : 何 积 丰; традиционный китайский : 何 積 豐; пиньинь : Хэ Цзифэн, родился в августе 1943 г.), китайский ученый-компьютерщик.

Хэ Цзифэн окончил математика кафедра в Университете Фудань в 1965 году. С 1965 по 1985 год он был преподавателем в Восточно-Китайском педагогическом университете. В 1980–81 годах он был приглашенным научным сотрудником в Стэнфордском университете и Университете Сан-Франциско в Калифорнии, США.

С 1984 по 1998 год Хэ Цзифэн был старшим научным сотрудником Исследовательской группы программирования в вычислительной лаборатории Оксфордского университета (ныне факультет компьютерных наук Оксфордского университета ). Он много работал над формальными аспектами информатики. В частности, он работал с профессором сэром Тони Хоаром, в последнее время над Объединяющими теориями программирования, в результате чего была написана книга с таким названием.

С 1986 года Хэ Цзифэн был профессором компьютерных наук в Восточно-Китайском педагогическом университете в Шанхае. В 1996 году он также стал профессором компьютерных наук в Шанхайском университете Цзяо Тонг.

В 1998 году он стал старшим научным сотрудником Международного института программных технологий (UNU-IIST), Университет Организации Объединенных Наций, расположенный в Макао. Он вернулся в Шанхай в 2005 году.

Научные интересы Хэ Цзифэна включают надежные методы спецификации компьютерных систем, коммуникаций, приложений и стандартов, а также методы разработки и реализации этих спецификаций в программном и / или аппаратном обеспечении с высокими требованиями. надежность.

В 2005 году он был избран членом Китайской академии наук. В 2013 году его 70-летний юбилей был отмечен в Восточно-Китайском педагогическом университете международным трехдневным Festschrift в связи с Международной конференцией по теоретическим аспектам вычислений (ICTAC).

Книги

Хэ Цзифэн написал ряд книг по информатике, в том числе:

  • Хэ Цзифэн, «Доказанно правильные системы: моделирование языков общения и разработка оптимизированных компиляторов». McGraw-Hill International Series in Software, 1995. ISBN 978-0-07-709052-4.
  • C.A.R. Хоар и Хэ Цзифэн, Объединенные теории программирования. Prentice Hall International Series in Computer Science, 1998. ISBN 978-0-13-458761-5.
  • Чжиминг Лю и Хэ Цзифэн, Математические основы для Компонент программного обеспечения: модели для анализа и синтеза. World Scientific Publishing Company, Серия по разработке программного обеспечения на основе компонентов, 2007. ISBN 978-981-270-017-9.

Ссылки

Внешние ссылки

Последняя правка сделана 2021-05-23 04:08:32
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте