АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

Хэ Цзифэн

Хэ Цзифэн (род. август 1943, Шанхай, Режим Ван Цзинвэя) — китайский учёный в области информатики. Известен работами в области унифицированных теорий программирования. В 2005 году избран в Китайскую академию наук.

Общие сведения
Хэ Цзифэн
кит. 何积丰
Дата рождения 1943(1943)
Место рождения Шанхай, Китай
Страна
Образование
Род деятельности Информатика, формальные методы
Сайт jfai-sh.com

Биография

В 1965 году окончил математический факультет Фуданского университета[1]. С 1965 по 1985 год преподавал в Восточно-китайском педагогическом университете. В 1980—1981 годах был приглашённым исследователем в Стэнфордском университете и Университете Сан-Франциско в Калифорнии.

С 1984 по 1998 год работал старшим научным сотрудником в Группе исследований программирования в Вычислительной лаборатории Оксфордского университета (ныне Факультет информатики Оксфордского университета). Занимался формальными аспектами информатики. Сотрудничал с профессором сэром Тони Хоаром, в частности, над унифицированными теориями программирования, что привело к публикации одноимённой книги.

С 1986 года является профессором информатики в Восточно-китайском педагогическом университете в Шанхае[2]. В 1996 году также стал профессором информатики в Шанхайском университете Цзяотун.

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

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

В 2013 году его 70-летие отмечалось в Восточно-китайском педагогическом университете трёхдневным международным симпозиумом совместно с Международной конференцией по теоретическим аспектам вычислений (ICTAC)[3]. В 2023 году его 80-летие отмечалось в Шанхайском зале науки двухдневным международным симпозиумом в гибридном формате. С 2019 года является выдающимся профессором Университета Тунцзи в Шанхае.

Примечания

  1. ↑ He Jifeng computer software expert. Hangzhou Institute of Service Engineering, Hangzhou Normal University. Дата обращения: 9 апреля 2012. Архивировано 27 сентября 2013 года.
  2. ↑ He Jifeng Архивная копия от 27 февраля 2012 на Wayback Machine, East China Normal University, China.
  3. ↑ Festschrift Symposium in Honor of He Jifeng. Shanghai, China: East China Normal University (3 сентября 2013). Дата обращения: 13 сентября 2013. Архивировано 26 сентября 2013 года.

Литература

  • He Jifeng, Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. McGraw-Hill International Series in Software, 1995. ISBN 978-0-07-709052-4.
  • C.A.R. Hoare and He Jifeng, Unified Theories of Programming. Prentice Hall International Series in Computer Science, 1998. ISBN 978-0-13-458761-5.
  • Zhiming Liu and He Jifeng, Mathematical Frameworks for Component Software: Models for Analysis and Synthesis. World Scientific Publishing Company, Series on Component-Based Software Development, 2007. ISBN 978-981-270-017-9.

Ссылки

Дополнительно по теме

Категории