Hispanopedia Wiki
Articulo de referencia

Roland Carl Backhouse

[[Netherlands]]"},"fields":{"wt":"[[Computer science]], [[mathematics]]"},"workplaces":{"wt":"[[Royal Aircraft Establishment]] [[Heriot-Watt University]] [[University of Essex]]...

Hispanopedia WikiContenido en espanolLectura gratuita

Roland Carl Backhouse (nacido el 18 de agosto de 1948) es un científico informático y matemático británico . Es profesor emérito de ciencias de la computación en la Universidad de Nottingham . [ 1 ] [ 2 ]

Primeros años y educación

Backhouse nació y creció en el distrito de Thorntree de Middlesbrough, una ciudad industrial del noreste de Inglaterra. En 1959, consiguió una plaza en la entonces escuela secundaria masculina Acklam Hall Grammar School, antes de ingresar en el Churchill College de Cambridge en 1966. Completó su doctorado (Ph.D.) bajo la supervisión de Jim Cunningham en el Imperial College de Londres .

Carrera

La trayectoria profesional de Backhouse incluye el Royal Aircraft Establishment (1969-1970), la Universidad Heriot-Watt (1973-1982) y la Universidad de Essex (1982-1986). Anteriormente fue profesor de Informática en la Universidad de Groningen (1986-1990) y en la Universidad Tecnológica de Eindhoven (1990-1999) en los Países Bajos , antes de incorporarse a la Universidad de Nottingham.

Fue miembro del Grupo de Trabajo 2.1 de la Federación Internacional para el Procesamiento de la Información (IFIP) sobre Lenguajes Algorítmicos y Cálculos, [ 3 ] que especificó , mantiene y da soporte a los lenguajes de programación ALGOL 60 y ALGOL 68. [ 4 ]

Vida personal

Backhouse está casado con Hilary, de soltera Mitchell. Tienen tres hijos: Kevin, Andrew y David .

Intereses académicos

Sus intereses de investigación se centran en las matemáticas de la construcción de programas y la resolución algorítmica de problemas. Junto con Jan LA van de Snepscheut (1953-1994), inició el ciclo bienal de conferencias sobre las Matemáticas de la Construcción de Programas, cuya primera edición se celebró en 1989.

Referencias

  1. ↑ "Roland Backhouse" . Universidad de Nottingham . Consultado el 19 de febrero de 2020 .
  2. ↑ "Roland Backhouse: Escuela de Ciencias de la Computación" . Universidad de Nottingham . Consultado el 19 de febrero de 2020 .
  3. ↑ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 de IFIP" . Foswiki . Consultado el 10 de septiembre de 2020 .
  4. ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "AlcanceEtc: IFIP21: Foswiki" . Foswiki . Consultado el 10 de septiembre de 2020 .

Publicaciones

Libros

  • Backhouse, Roland (2011). Resolución algorítmica de problemas . Chichester: Wiley. ISBN 978-0-470-68453-5.
  • Backhouse, Roland (2003). Construcción de programas: cálculo de implementaciones a partir de especificaciones . Chichester: Wiley. ISBN 978-0-470-84882-1.
  • Backhouse, Roland (1986). Construcción y verificación de programas . Englewood Cliffs, NJ: Prentice-Hall International. ISBN 978-0-13-729153-3.
  • Backhouse, Roland (1979). Sintaxis de los lenguajes de programación . Serie Prentice-Hall International en ciencias de la computación. Englewood Cliffs, NJ: Prentice-Hall International. ISBN 978-0-13-879999-1.

Libros editados

  • Backhouse, Roland; Gibbons, Jeremy ; Hinze, Ralph; Jeuring, Johan, eds. (2007). Programación genérica de tipos de datos: Escuela Internacional de Primavera, SSDGP 2006, Nottingham, Reino Unido, 24-27 de abril de 2006, conferencias revisadas . Escuela Internacional de Primavera sobre Programación Genérica de Tipos de Datos. Berlín: Springer. ISBN 978-3-540-76785-5.
  • Backhouse, Roland; Gibbons, Jeremy , eds. (2003). Programación genérica: conferencias avanzadas [conferencias presentadas en una escuela de verano sobre programación genérica celebrada en la Universidad de Oxford en agosto de 2002] . Berlín: Springer. ISBN 978-3-540-20194-6.
  • Backhouse, Roland; Crole, Roy L.; Gibbons, Jeremy , eds. (2002). Métodos algebraicos y coalgebraicos en las matemáticas de la construcción de programas: escuela de verano y taller internacional. Oxford, Reino Unido, 10-14 de abril de 2000, conferencias revisadas . Berlín; Nueva York: Springer. ISBN 978-3-540-43613-3.
  • Backhouse, Roland; Oliveira, Jose N., eds. (2000). Matemáticas de la construcción de programas 2000. Berlín; Nueva York: Springer. ISBN 978-3-540-67727-7.

Artículos seleccionados

  • Backhouse, R.  C.; Carre, B.  A. (1975). "Álgebra regular aplicada a problemas de búsqueda de caminos". Journal of the Institute of Mathematics and Its Applications . 15 (2): 161– 186. doi : 10.1093/imamat/15.2.161 .
  • Backhouse, R.; Jansson, P.; Jeuring, J.; et  al. (1999). "Programación Genérica". Programación Funcional Avanzada [ Información de la conferencia: 3.ª Escuela Internacional sobre Programación Funcional Avanzada (AFP 98), 12-19 de septiembre de 1998, Braga, Portugal ] . Lecture Notes in Computer Science. Vol.  1608. pp. 28-115 . doi : 10.1007/10704973_2 . ISBN  978-3-540-66241-9.
  • Doornbos, H.; Backhouse, R.; vanderWoude, J. (junio de 1997). "Un enfoque computacional para la inducción matemática" . Theoretical Computer Science . 179 ( 1–2 ): 103–135 . doi : 10.1016/s0304-3975(96)00154-5 .
  • Backhouse, R. (2002). «Conexiones de Galois y cálculo de punto fijo». Métodos algebraicos y coalgebraicos en las matemáticas de la construcción de programas [ Información de la conferencia: Escuela Internacional de Verano y Taller sobre Métodos Algebraicos y Coalgebraicos en las Matemáticas de la Construcción de Programas, Fecha: 10-14 de abril de 2000, Universidad de Oxford, Oxford, Inglaterra ] . Lecture Notes in Computer Science. Vol.  2297. pp. 89-148 . CiteSeerX 10.1.1.108.2022 . doi : 10.1007/3-540-47797-7_4 . ISBN   978-3-540-43613-3.
  • Doornbos, H.; Backhouse, R. (1996). "Reductividad" [ Información de la conferencia: 3.ª Conferencia Internacional sobre Matemáticas de la Construcción de Programas, Fecha: 17-21 de julio de 1995, Kloster Irsee, Alemania ] . Science of Computer Programming . 26 ( 1-3 ): 217-236 . doi : 10.1016/0167-6423(95)00027-5 .
  • Sitio web oficial
  • La bibliografía de informática de DBLP