Хэ Цзифэн (何 积 丰) | |
---|---|
Родился | август 1943. Шанхай, Китай |
Национальность | Китаец |
Альма матер | Университет Фудань. Восточно-китайский педагогический университет |
Известен | Объединяющими теориями программирования |
Научная карьера | |
Сферы | Информатика, формальные методы |
Учреждения | Восточно-китайский нормальный Университет. Оксфордский университет. Шанхайский университет Цзяо Тонг. Университет Организации Объединенных Наций |
Влияние | Тони Хоар |
Хе Цзифэн (упрощенный китайский : 何 积 丰; традиционный китайский : 何 積 豐; пиньинь : Хэ Цзифэн, родился в августе 1943 г.), китайский ученый-компьютерщик.
Хэ Цзифэн окончил математика кафедра в Университете Фудань в 1965 году. С 1965 по 1985 год он был преподавателем в Восточно-Китайском педагогическом университете. В 1980–81 годах он был приглашенным научным сотрудником в Стэнфордском университете и Университете Сан-Франциско в Калифорнии, США.
С 1984 по 1998 год Хэ Цзифэн был старшим научным сотрудником Исследовательской группы программирования в вычислительной лаборатории Оксфордского университета (ныне факультет компьютерных наук Оксфордского университета ). Он много работал над формальными аспектами информатики. В частности, он работал с профессором сэром Тони Хоаром, в последнее время над Объединяющими теориями программирования, в результате чего была написана книга с таким названием.
С 1986 года Хэ Цзифэн был профессором компьютерных наук в Восточно-Китайском педагогическом университете в Шанхае. В 1996 году он также стал профессором компьютерных наук в Шанхайском университете Цзяо Тонг.
В 1998 году он стал старшим научным сотрудником Международного института программных технологий (UNU-IIST), Университет Организации Объединенных Наций, расположенный в Макао. Он вернулся в Шанхай в 2005 году.
Научные интересы Хэ Цзифэна включают надежные методы спецификации компьютерных систем, коммуникаций, приложений и стандартов, а также методы разработки и реализации этих спецификаций в программном и / или аппаратном обеспечении с высокими требованиями. надежность.
В 2005 году он был избран членом Китайской академии наук. В 2013 году его 70-летний юбилей был отмечен в Восточно-Китайском педагогическом университете международным трехдневным Festschrift в связи с Международной конференцией по теоретическим аспектам вычислений (ICTAC).
Хэ Цзифэн написал ряд книг по информатике, в том числе: