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 en la Universidad de Oxford con la tesis "El diseño y la 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, incluido "Why Functional Programming Matters". [3]
Hughes es uno de los desarrolladores de QuickCheck , además de 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 ACM en 2018 por "contribuciones a las pruebas de software y la programación funcional". [7]
Ver también
Bibliografía
Referencias
- ^ "Página del personal de Chalmers".
- ^ 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
- ^ Hughes, Juan (1989). "Por qué es importante la programación funcional". Diario de informática . 32 (2): 98-107. doi : 10.1093/comjnl/32.2.98 . Consultado el 6 de mayo de 2010 .
- ^ IOHK (26 de septiembre de 2018), IOHK - Entrenamiento de corrección funcional QuviQ - John Hughes, archivado desde el original el 14 de diciembre de 2021 , recuperado 7 de septiembre 2019
- ^ Computerphile (30 de noviembre de 2016), Programación funcional y Haskell - Computerphile, archivado desde el original el 14 de diciembre de 2021 , recuperado 11 de enero 2018
- ^ Computerphile (18 de enero de 2017), Automatización de verificación de código - Computerphile, archivado desde el original el 14 de diciembre de 2021 , recuperado 11 de enero 2018
- ^ Becarios de ACM 2018 honrados por logros fundamentales que sustentan la era digital, Association for Computing Machinery , 5 de diciembre de 2018
- ^ (mayo de 2005) Trabajo más influyente
enlaces externos
