Хэ Цзифэн

Хэ Цзифэн Биография Хэ Цзифэна Китайский ученый-компьютерщик, родился в 1943 году.  Окончил математический факультет Фуданьского университета в 1965 году.  Преподавал […]

Хэ Цзифэн

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

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

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

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

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

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

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

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

Хэ Цзифэн

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

Прокрутить вверх