Хэ Цзифэн

Хэ Цзифэн
Хэ Цзифэн
Хэ Цзифэн
	Профессор Цзифэн Хэ выступает в лондонском офисе BCS в 2018 году.
Рожденный	Август 1943 г. (80 лет) ; Шанхай , Китай
Национальность	китайский
Альма-матер	Фуданьский университет
Известный	Объединение теорий программирования
	Научная карьера
Поля	Информатика , формальные методы
Учреждения	Восточно-Китайский педагогический университет ; Оксфордский университет ; Шанхайский университет Цзяотун ; Университет ООН ; Университет Тунцзи
Веб-сайт	www .jfai-ш .с

Хэ Цзифэн ( упрощенный китайский : 何杰峰 ; традиционный китайский : 何杰峰 ; пиньинь : Хэ Цзифэн , родился в августе 1943 года) — китайский учёный-компьютерщик . ^[1]^[2]

Хэ Цзифэн окончил математический факультет Фуданьского университета в 1965 году. ^[3] С 1965 по 1985 год он был преподавателем Восточно-Китайского педагогического университета . В 1980–81 годах он был приглашенным научным сотрудником в Стэнфордском университете и Университете Сан-Франциско в Калифорнии , США. ^[2]

С 1984 по 1998 год Хэ Цзифэн был старшим научным сотрудником группы исследований по программированию в вычислительной лаборатории Оксфордского университета (ныне факультет компьютерных наук Оксфордского университета ). ^[2] Он много работал над формальными аспектами информатики . В частности, он работал с профессором сэром Тони Хоаром над «Объединением теорий программирования» , в результате чего появилась книга с таким названием.

С 1986 года Хэ Цзифэн является профессором компьютерных наук Восточно-Китайского педагогического университета в Шанхае. ^[4] В 1996 году он также стал профессором компьютерных наук в Шанхайском университете Цзяо Тонг .

В 1998 году он стал старшим научным сотрудником Международного института программных технологий (UNU-IIST) Университета Организации Объединенных Наций , расположенного в Макао . ^[2] Он вернулся в Шанхай в 2005 году.

Научные интересы Хэ Цзифэна включают надежные методы спецификации компьютерных систем, коммуникаций, приложений, стандартов и методов проектирования и реализации этих спецификаций в программном и/или аппаратном обеспечении с высокой надежностью. ^[2]

В 2005 году он был избран членом Китайской академии наук . В 2013 году его 70-летие было отмечено в Восточно-Китайском педагогическом университете международным трехдневным праздничным мероприятием , приуроченным к Международной конференции по теоретическим аспектам вычислений (ICTAC). ^[5]^[6] Десять лет спустя, в 2023 году, его 80-летие было отмечено в Шанхайском зале науки гибридным международным двухдневным симпозиумом Festschrift . ^[7]^[8] С 2019 года он является заслуженным профессором Университета Тунцзи в Шанхае. ^[2]

Книги [ править ]

Хэ Цзифэн написал ряд книг по информатике, в том числе: ^[9]

Хэ Цзифэн, «Доказуемо корректные системы: моделирование языков общения и проектирование оптимизированных компиляторов» . McGraw-Hill по программному обеспечению, 1995. Международная серия ISBN 978-0-07-709052-4 .
К. А. Хоар и Хэ Цзифэн, Единые теории программирования . Международная серия Прентис Холл по информатике , 1998. ISBN 978-0-13-458761-5 .
Чжимин Лю и Хэ Цзифэн, Математические основы для компонентного программного обеспечения: модели для анализа и синтеза . World Scientific Publishing Company , Серия о компонентной разработке программного обеспечения, 2007 г. ISBN 978-981-270-017-9 .

Ссылки [ править ]

^ «Хе Цзифэн» . www.namesviews.com . Мозговой штурм. Архивировано из оригинала 9 сентября 2012 года . Проверено 9 апреля 2012 г.
↑ Перейти обратно: Перейти обратно: ^а ^б ^с ^д ^и ^ж Боуэн, Джонатан П .; Чжу, Хуэйбяо (2023). «Цзифэн Хэ в Оксфорде и за его пределами: признательность». В Боуэне, Джонатан П .; Ли, Цинь; Сюй, Цивэнь (ред.). Теории программирования и формальные методы: очерки, посвященные Цзифэн Хэ к его 80-летию . Конспекты лекций по информатике . Том. 14080. Спрингер . стр. 3–18. дои : 10.1007/978-3-031-40436-8_1 . ISBN 978-3-031-40435-1 .
^ «Эксперт по компьютерному программному обеспечению Хэ Цзифэн» . Ханчжоуский институт сервисного машиностроения], Ханчжоуский педагогический университет . Архивировано из оригинала 27 сентября 2013 года . Проверено 9 апреля 2012 г.
↑ Хэ Цзифэн. Архивировано 27 февраля 2012 г. в Wayback Machine , Восточно-Китайский педагогический университет , Китай.
^ «Симпозиум Festschrift в честь Хэ Цзифэна» . Шанхай, Китай: Восточно-Китайский педагогический университет . 1–3 сентября 2013 г. Архивировано из оригинала 26 сентября 2013 г. Проверено 13 сентября 2013 г.
^ Лю, Чжимин ; Вудкок, Джим ; Чжу, Хуибяо, ред. (2013). Теории программирования и формальные методы: очерки, посвященные Цзифэн Хэ к его 70-летию . Конспекты лекций по информатике . Том. 8051. Спрингер . дои : 10.1007/978-3-642-39698-4 . ISBN 978-3-642-39697-7 . S2CID 28825617 .
^ «Вебинар: Jifeng@80: Теории программирования и формальные методы» . БКС . 15–16 сентября 2023 г. Проверено 30 сентября 2023 г.
^ Боуэн, Джонатан П .; Ли, Цинь; Сюй, Цивэнь, ред. (2023). Теории программирования и формальные методы: очерки, посвященные Цзифэн Хэ к его 80-летию . Конспекты лекций по информатике . Том. 14080. Спрингер . дои : 10.1007/978-3-031-40436-8 . ISBN 978-3-031-40435-1 . S2CID 261585921 .
^ «Книги Хэ Цзифэна» . Amazon.com .

Внешние ссылки [ править ]

Шанхайский научно-исследовательский институт искусственного интеллекта Хуакэ Чжигу под руководством Хэ Цзифэна
Домашняя страница Хэ Цзифэна в ECNU, архивировано в 2012 году (на английском языке).
Цзифэн Хэ на DBLP библиографическом сервере

[brainstorm-1] «Хе Цзифэн» . www.namesviews.com . Мозговой штурм. Архивировано из оригинала 9 сентября 2012 года . Проверено 9 апреля 2012 г.

[BowenZhu23-2] Перейти обратно: Перейти обратно: ^а ^б ^с ^д ^и ^ж Боуэн, Джонатан П .; Чжу, Хуэйбяо (2023). «Цзифэн Хэ в Оксфорде и за его пределами: признательность». В Боуэне, Джонатан П .; Ли, Цинь; Сюй, Цивэнь (ред.). Теории программирования и формальные методы: очерки, посвященные Цзифэн Хэ к его 80-летию . Конспекты лекций по информатике . Том. 14080. Спрингер . стр. 3–18. дои : 10.1007/978-3-031-40436-8_1 . ISBN 978-3-031-40435-1 .

[3] «Эксперт по компьютерному программному обеспечению Хэ Цзифэн» . Ханчжоуский институт сервисного машиностроения], Ханчжоуский педагогический университет . Архивировано из оригинала 27 сентября 2013 года . Проверено 9 апреля 2012 г.

[4] Хэ Цзифэн. Архивировано 27 февраля 2012 г. в Wayback Machine , Восточно-Китайский педагогический университет , Китай.

[5] «Симпозиум Festschrift в честь Хэ Цзифэна» . Шанхай, Китай: Восточно-Китайский педагогический университет . 1–3 сентября 2013 г. Архивировано из оригинала 26 сентября 2013 г. Проверено 13 сентября 2013 г.

[6] Лю, Чжимин ; Вудкок, Джим ; Чжу, Хуибяо, ред. (2013). Теории программирования и формальные методы: очерки, посвященные Цзифэн Хэ к его 70-летию . Конспекты лекций по информатике . Том. 8051. Спрингер . дои : 10.1007/978-3-642-39698-4 . ISBN 978-3-642-39697-7 . S2CID 28825617 .

[7] «Вебинар: Jifeng@80: Теории программирования и формальные методы» . БКС . 15–16 сентября 2023 г. Проверено 30 сентября 2023 г.

[8] Боуэн, Джонатан П .; Ли, Цинь; Сюй, Цивэнь, ред. (2023). Теории программирования и формальные методы: очерки, посвященные Цзифэн Хэ к его 80-летию . Конспекты лекций по информатике . Том. 14080. Спрингер . дои : 10.1007/978-3-031-40436-8 . ISBN 978-3-031-40435-1 . S2CID 261585921 .

[9] «Книги Хэ Цзифэна» . Amazon.com .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Германия Израиль Соединенные Штаты Чешская Республика Нидерланды
академики	Ассоциация вычислительной техники ДБЛП
Другой	ИдРеф