Хэ Цзифэн

Оглавление1 Хэ Цзифэн1.1 Биография Хэ Цзифэна1.2 Научная карьера1.3 Научные интересы1.4 Достижения и награды1.5 Опубликованные работы1.6 Ссылки1.7 Полный текст статьи:2 Хэ […]

Хэ Цзифэн

  • Биография Хэ Цзифэна

    • Китайский ученый-компьютерщик, родился в 1943 году. 
    • Окончил математический факультет Фуданьского университета в 1965 году. 
    • Преподавал в Восточно-Китайском педагогическом университете с 1965 по 1985 год. 
  • Научная карьера

    • Работал в Стэнфордском и Сан-Францисском университетах в 1980-1981 годах. 
    • С 1984 по 1998 год был старшим научным сотрудником в Оксфордском университете. 
    • С 1986 года профессор компьютерных наук в Восточно-Китайском педагогическом университете и Шанхайском университете Цзяо Тонг. 
    • С 1998 года старший научный сотрудник Международного института программных технологий в Макао. 
  • Научные интересы

    • Занимается обоснованными методами спецификации компьютерных систем и разработкой надежных спецификаций. 
    • Избран членом Китайской академии наук в 2005 году. 
  • Достижения и награды

    • Отмечен международным фестивалем в Восточно-Китайском педагогическом университете в 2005 и 2013 годах. 
    • В 2023 году отметил 80-летие в Шанхайском зале науки. 
    • С 2019 года заслуженный профессор университета Тунцзи. 
  • Опубликованные работы

    • Автор ряда книг по информатике, включая “Доказуемо корректные системы” и “Объединенные теории программирования”. 
  • Ссылки

    • Ссылки на внешние ресурсы и домашнюю страницу Хэ Цзифэна в ECNU. 

Полный текст статьи:

Хэ Цзифэн

Оставьте комментарий