stringtranslate.com

Él Jifeng

He Jifeng ( chino simplificado :何积丰; chino tradicional :何積豐; pinyin : Hé Jīfēng , nacido en agosto de 1943) es un informático chino . [1] [2]

He Jifeng se graduó en el departamento de matemáticas de la Universidad de Fudan en 1965. [3] De 1965 a 1985, fue instructor en la Universidad Normal del Este de China . Durante 1980-1981, fue profesor visitante en la Universidad de Stanford y en la Universidad de San Francisco en California , Estados Unidos. [2]

De 1984 a 1998, He Jifeng fue investigador principal en el Grupo de Investigación de Programación del Laboratorio de Computación de la Universidad de Oxford (ahora Departamento de Ciencias de la Computación de la Universidad de Oxford ). [2] Trabajó extensamente en aspectos formales de la ciencia informática . En particular, trabajó con el Prof. Sir Tony Hoare , más tarde en Unifying Theories of Programming , lo que dio como resultado un libro con ese nombre.

Desde 1986, He Jifeng ha sido profesor de Ciencias de la Computación en la Universidad Normal del Este de China en Shanghai. [4] En 1996, también se convirtió en profesor de Ciencias de la Computación en la Universidad Jiao Tong de Shanghai .

En 1998, se convirtió en investigador principal en el Instituto Internacional de Tecnología de Software (UNU-IIST) de la Universidad de las Naciones Unidas , con sede en Macao . [2] Regresó a Shanghai en 2005.

Los intereses de investigación de He Jifeng incluyen métodos sólidos para la especificación de sistemas informáticos, comunicaciones, aplicaciones, estándares y técnicas para diseñar e implementar esas especificaciones en software y/o hardware con alta confiabilidad. [2]

En 2005, fue elegido miembro de la Academia de Ciencias de China . En 2013, se celebró su 70 cumpleaños en la Universidad Normal del Este de China con un Festschrift internacional de tres días en asociación con la Conferencia Internacional sobre Aspectos Teóricos de la Computación (ICTAC). [5] [6] Diez años después, en 2023, se celebró su 80.º cumpleaños en el Salón de Ciencias de Shanghai con un Simposio Festschrift internacional híbrido de dos días . [7] [8] Desde 2019, es profesor distinguido en la Universidad de Tongji en Shanghai. [2]

Libros

He Jifeng ha escrito varios libros de informática, entre ellos: [9]

Referencias

  1. ^ "Él Jifeng". www.namesviews.com . Idea genial. Archivado desde el original el 9 de septiembre de 2012 . Consultado el 9 de abril de 2012 .
  2. ^ abcdef Bowen, Jonathan P .; Zhu, Huibiao (2023). "Jifeng He en Oxford y más allá: un agradecimiento". En Bowen, Jonathan P .; Li, Qin; Xu, Qiwen (eds.). Teorías de programación y métodos formales: ensayos dedicados a Jifeng He con motivo de su 80 cumpleaños . Apuntes de conferencias sobre informática . vol. 14080. Saltador . págs. 3–18. doi :10.1007/978-3-031-40436-8_1. ISBN 978-3-031-40435-1.
  3. ^ "Experto en software informático de He Jifeng". Instituto de Ingeniería de Servicios de Hangzhou], Universidad Normal de Hangzhou . Archivado desde el original el 27 de septiembre de 2013 . Consultado el 9 de abril de 2012 .
  4. ↑ He Jifeng Archivado el 27 de febrero de 2012 en Wayback Machine , Universidad Normal del Este de China , China.
  5. ^ "Simposio Festschrift en honor a He Jifeng". Shanghai, China: Universidad Normal del Este de China . 1 a 3 de septiembre de 2013. Archivado desde el original el 26 de septiembre de 2013 . Consultado el 13 de septiembre de 2013 .
  6. ^ Liu, Zhiming ; Woodcock, Jim ; Zhu, Huibiao, eds. (2013). Teorías de programación y métodos formales: ensayos dedicados a Jifeng He con motivo de su 70 cumpleaños . Apuntes de conferencias sobre informática . vol. 8051. Saltador . doi :10.1007/978-3-642-39698-4. ISBN 978-3-642-39697-7. S2CID  28825617.
  7. ^ "Seminario web: Jifeng @ 80: Teorías de programación y métodos formales". BCS . 15 y 16 de septiembre de 2023 . Consultado el 30 de septiembre de 2023 .
  8. ^ Bowen, Jonathan P .; Li, Qin; Xu, Qiwen, eds. (2023). Teorías de programación y métodos formales: ensayos dedicados a Jifeng He con motivo de su 80 cumpleaños . Apuntes de conferencias sobre informática . vol. 14080. Saltador . doi :10.1007/978-3-031-40436-8. ISBN 978-3-031-40435-1. S2CID  261585921.
  9. ^ "Libros de He Jifeng". Amazon.com .

enlaces externos