O Jifeng - He Jifeng

O Jifeng (何 积 丰)
DoğumAğustos 1943
Şangay, Çin
MilliyetÇince
gidilen okulFudan Üniversitesi
Doğu Çin Normal Üniversitesi
BilinenProgramlama Teorilerini Birleştirme
Bilimsel kariyer
AlanlarBilgisayar Bilimi, resmi yöntemler
KurumlarDoğu Çin Normal Üniversitesi
Oxford Üniversitesi
Şangay Jiao Tong Üniversitesi
Birleşmiş Milletler Üniversitesi
EtkilerTony Hoare

O Jifeng (basitleştirilmiş Çince : 何 积 丰; Geleneksel çince : 何 積 豐; pinyin : Hé Jīfēng, Ağustos 1943 doğumlu) bir Çince bilgisayar uzmanı.[1]

O Jifeng, matematik Bölümü Fudan Üniversitesi 1965'te.[2] 1965'ten 1985'e kadar öğretmenlik yaptı Doğu Çin Normal Üniversitesi. 1980-81 arasında, misafir akademisyen olarak bulundu Stanford Üniversitesi ve San Francisco Üniversitesi içinde Kaliforniya, Amerika Birleşik Devletleri.

1984'ten 1998'e kadar He Jifeng, kıdemli araştırma görevlisiydi. Programlama Araştırma Grubu Oxford Üniversitesi Bilgisayar Laboratuvarı'nda (şimdi Oxford Üniversitesi Bilgisayar Bilimleri Bölümü ). Üzerinde yoğun bir şekilde çalıştı resmi yönleri bilgisayar Bilimleri. Özellikle Prof. Tony Hoare, daha sonra Programlama Teorilerini Birleştirme, bu isimde bir kitapla sonuçlanır.

1986'dan beri He Jifeng, Bilgisayar Bilimi Profesörüdür. Doğu Çin Normal Üniversitesi Şanghay'da.[3] 1996'da Bilgisayar Bilimleri Profesörü oldu. Şangay Jiao Tong Üniversitesi.

1998'de kıdemli araştırma görevlisi oldu. Uluslararası Yazılım Teknolojisi Enstitüsü (UNU-IIST), Birleşmiş Milletler Üniversitesi dayalı Macau. 2005'te Şangay'a geri döndü.

Jifeng'in araştırma ilgi alanları arasında bilgisayar sistemleri, iletişim, uygulama ve standartların özellikleri için sağlam yöntemler ve bu özellikleri yazılım ve / veya donanımda yüksek güvenilirlikle tasarlama ve uygulama teknikleri yer almaktadır.

2005'te seçildi Çin Bilimler Akademisi. 2013 yılında 70. doğum günü Doğu Çin Normal Üniversitesi'nde uluslararası üç günlük bir günle kutlandı. Festschrift ile bağlantılı olarak Uluslararası Hesaplamanın Teorik Yönleri Konferansı (ICTAC).[4][5]

Kitabın

O Jifeng, aşağıdakiler de dahil olmak üzere bir dizi bilgisayar bilimi kitabı yazdı:[6]

  • O Jifeng, Yeterince Doğru Sistemler: İletişim Dillerinin Modellenmesi ve Optimize Edilmiş Derleyicilerin Tasarımı. McGraw-Hill Yazılımda Uluslararası Seriler, 1995. ISBN  978-0-07-709052-4.
  • C.A.R. Hoare ve He Jifeng, Birleşik Programlama Teorileri. Prentice Hall Uluslararası Bilgisayar Bilimleri Serisi, 1998. ISBN  978-0-13-458761-5.
  • Zhiming Liu ve He Jifeng, Bileşen Yazılımı için Matematiksel Çerçeveler: Analiz ve Sentez Modelleri. World Scientific Publishing Company, Bileşen Tabanlı Yazılım Geliştirme Serisi, 2007. ISBN  978-981-270-017-9.

Referanslar

  1. ^ "O Jifeng". Beyin fırtınası]. Arşivlenen orijinal 9 Eylül 2012. Alındı 9 Nisan 2012.
  2. ^ "He Jifeng bilgisayar yazılımı uzmanı". Hangzhou Hizmet Mühendisliği Enstitüsü], Hangzhou Normal Üniversitesi. Arşivlenen orijinal 27 Eylül 2013. Alındı 9 Nisan 2012.
  3. ^ O Jifeng, Doğu Çin Normal Üniversitesi, Çin.
  4. ^ "He Jifeng Onuruna Festschrift Sempozyumu". Şangay, Çin: Doğu Çin Normal Üniversitesi. 1–3 Eylül 2013. Arşivlenen orijinal 26 Eylül 2013. Alındı 13 Eylül 2013.
  5. ^ Liu, Zhiming; Çulluk, Jim; Zhu, Huibiao, eds. (2013). Programlama Teorileri ve Biçimsel Yöntemler: 70. Doğum Günü Vesilesiyle Jifeng He'ye Adanmış Denemeler. Bilgisayar Bilimlerinde Ders Notları. 8051. Springer. doi:10.1007/978-3-642-39698-4. ISBN  978-3-642-39697-7.
  6. ^ He Jifeng Kitapları, Amazon.com.

Dış bağlantılar