Оглавление
Хэ Цзифэн
-
Биография Хэ Цзифэна
- Китайский ученый-компьютерщик, родился в 1943 году.
- Окончил математический факультет Фуданьского университета в 1965 году.
- Преподавал в Восточно-Китайском педагогическом университете с 1965 по 1985 год.
-
Научная карьера
- Работал в Стэнфордском и Сан-Францисском университетах в 1980-1981 годах.
- С 1984 по 1998 год был старшим научным сотрудником в Оксфордском университете.
- С 1986 года профессор компьютерных наук в Восточно-Китайском педагогическом университете и Шанхайском университете Цзяо Тонг.
- С 1998 года старший научный сотрудник Международного института программных технологий в Макао.
-
Научные интересы
- Занимается обоснованными методами спецификации компьютерных систем и разработкой надежных спецификаций.
- Избран членом Китайской академии наук в 2005 году.
-
Достижения и награды
- Отмечен международным фестивалем в Восточно-Китайском педагогическом университете в 2005 и 2013 годах.
- В 2023 году отметил 80-летие в Шанхайском зале науки.
- С 2019 года заслуженный профессор университета Тунцзи.
-
Опубликованные работы
- Автор ряда книг по информатике, включая “Доказуемо корректные системы” и “Объединенные теории программирования”.
-
Ссылки
- Ссылки на внешние ресурсы и домашнюю страницу Хэ Цзифэна в ECNU.