Хэ Цзифэн
Хэ Цзифэн
- Дата рождения
- 1943
- Место рождения
- Шанхай, Китай
- Род деятельности
- Информатика, формальные методы
Сайт
Хэ Цзифэн ([Нет даты!]) — китайский учёный в области информатики. Известен работами в области унифицированных теорий программирования. В 2005 году избран в Китайскую академию наук.
Биография[править]
В 1965 году окончил математический факультет Фуданского университета[1]. С 1965 по 1985 год преподавал в Восточно-китайском педагогическом университете. В 1980—1981 годах был приглашённым исследователем в Стэнфордском университете и Университете Сан-Франциско в Калифорнии.
С 1984 по 1998 год работал старшим научным сотрудником в Группе исследований программирования в Вычислительной лаборатории Оксфордского университета (ныне Факультет информатики Оксфордского университета). Занимался формальными аспектами информатики. Сотрудничал с профессором сэром Тони Хоаром, в частности, над унифицированными теориями программирования, что привело к публикации одноимённой книги.
С 1986 года является профессором информатики в Восточно-китайском педагогическом университете в Шанхае[2]. В 1996 году также стал профессором информатики в Шанхайском университете Цзяотун.
В 1998 году стал старшим научным сотрудником в Международном институте программных технологий (UNU-IIST) Университета Организации Объединённых Наций в Макао. В 2005 году вернулся в Шанхай.
Научные интересы включают надёжные методы спецификации компьютерных систем, коммуникаций, приложений, стандартов, а также методы проектирования и реализации этих спецификаций в программном и аппаратном обеспечении с высокой степенью надёжности.
В 2013 году его 70-летие отмечалось в Восточно-китайском педагогическом университете трёхдневным международным симпозиумом совместно с Международной конференцией по теоретическим аспектам вычислений (ICTAC)[3]. В 2023 году его 80-летие отмечалось в Шанхайском зале науки двухдневным международным симпозиумом в гибридном формате. С 2019 года является выдающимся профессором Университета Тунцзи в Шанхае.
Примечания[править]
- ↑ He Jifeng computer software expert. Hangzhou Institute of Service Engineering, Hangzhou Normal University. Архивировано из первоисточника 27 сентября 2013. Проверено 9 апреля 2012.
- ↑ He Jifeng Архивная копия от 27 февраля 2012 на Wayback Machine, East China Normal University, China.
- ↑ Festschrift Symposium in Honor of He Jifeng. Shanghai, China: East China Normal University (1–3 September 2013). Архивировано из первоисточника 26 сентября 2013. Проверено 13 сентября 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.
Ссылки[править]
- Шанхайский научно-исследовательский институт искусственного интеллекта Хуакэ Чжигу под руководством Хэ Цзифэна
- Домашняя страница Хэ Цзифэна в Восточно-китайском педагогическом университете, архивная копия 2012 года англ.
 | Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Хэ Цзифэн», расположенная по адресу:
Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?». |
|---|