stringtranslate.com

John Hughes (informático)

R. John M. Hughes , nacido el 15 de julio de 1958 (66 años) , es un científico informático y profesor en el departamento de Ciencias de la Computación de la Universidad Tecnológica de Chalmers . [1]( 15 de julio de 1958 )

Contribuciones

En 1984, Hughes recibió su doctorado de la Universidad de Oxford por la tesis "El diseño e implementación de lenguajes de programación". [2]

Hughes es miembro del grupo de Programación Funcional de Chalmers y gran parte de su investigación se relaciona con el lenguaje de programación Haskell . Investiga en el campo de los lenguajes de programación y es autor de muchos artículos de investigación influyentes sobre el tema, entre ellos "Why Functional Programming Matters" [Por qué es importante la programación funcional]. [3]

Hughes es uno de los desarrolladores de QuickCheck , así como cofundador y director ejecutivo de QuviQ, que proporciona el software QuickCheck y ofrece clases sobre cómo usarlo. [4]

En 2016 apareció en el canal de divulgación científica de YouTube Computerphile explicando la programación funcional y QuickCheck. [5] [6]

Reconocimiento

Hughes fue elegido miembro de la ACM en 2018 por sus "contribuciones a las pruebas de software y la programación funcional". [7]

Véase también

Bibliografía

Referencias

  1. ^ "Página del personal de Chalmers".
  2. ^ EL DISEÑO E IMPLEMENTACIÓN DE LENGUAJES DE PROGRAMACIÓN (PDF) , Universidad de Oxford, julio de 1983 , consultado el 7 de noviembre de 2018
  3. ^ Hughes, John (1989). "Why Functional Programming Matters". Computer Journal . 32 (2): 98–107. doi : 10.1093/comjnl/32.2.98 . Consultado el 6 de mayo de 2010 .
  4. ^ IOHK (26 de septiembre de 2018), IOHK - Entrenamiento de corrección funcional QuviQ - John Hughes, archivado del original el 14 de diciembre de 2021 , consultado el 7 de septiembre de 2019
  5. ^ Computerphile (30 de noviembre de 2016), Programación funcional y Haskell - Computerphile, archivado desde el original el 14 de diciembre de 2021 , consultado el 11 de enero de 2018
  6. ^ Computerphile (18 de enero de 2017), Automatización de la comprobación de código - Computerphile, archivado desde el original el 14 de diciembre de 2021 , consultado el 11 de enero de 2018
  7. ^ Los miembros de la ACM 2018 fueron distinguidos por sus logros fundamentales que sustentan la era digital, Association for Computing Machinery , 5 de diciembre de 2018
  8. ^ (Mayo 2005) Trabajo más influyente

Enlaces externos