Roland Carl Backhouse

Científico informático y matemático británico

Roland Carl Backhouse (nacido el 18 de agosto de 1948) es un informático y matemático británico . A partir de 2020 ^[update], es profesor emérito de Ciencias de la Computación en la Universidad de Nottingham . ^{[1] [2]}

Vida temprana y educación

Backhouse nació y creció en el distrito de Thorntree de Middlesbrough, una ciudad industrial en el noreste de Inglaterra. En 1959, consiguió una plaza en la Acklam Hall Grammar School, que entonces era exclusivamente masculina, antes de pasar al Churchill College de Cambridge en 1966. Se doctoró bajo la supervisión de Jim Cunningham en el Imperial College de Londres .

Carrera

La carrera de Backhouse incluyó el Royal Aircraft Establishment (1969-1970), la Universidad Heriot-Watt (1973-1982) y la Universidad de Essex (1982-1986). Anteriormente fue profesor de Ciencias de la Computación en la Universidad de Groningen (1986-1990) y la Universidad Tecnológica de Eindhoven (1990-1999) en los Países Bajos , antes de ocupar su puesto en la Universidad de Nottingham.

Fue miembro del Grupo de Trabajo 2.1 de la Federación Internacional de Procesamiento de la Información (IFIP) sobre lenguajes algorítmicos y cálculos, ^[3] que especificó , mantiene y soporta 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 de problemas algorítmicos . Junto con Jan LA van de Snepscheut (1953-1994), inició la serie bienal de conferencias sobre las matemáticas de la construcción de programas, la primera de las cuales se celebró en 1989.

Referencias

1. "Roland Backhouse". Universidad de Nottingham . Consultado el 19 de febrero de 2020 .
2. "Roland Backhouse: Facultad de Informática". 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 del 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 de problemas algorítmicos . 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 lenguajes de programación . Serie Prentice-Hall International sobre informática. 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 de primavera internacional, SSDGP 2006, Nottingham, Reino Unido, 24-27 de abril de 2006, conferencias revisadas . Escuela de primavera internacional 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 internacionales 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". Revista del Instituto de Matemáticas y sus Aplicaciones . 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 de Programación Funcional Avanzada (AFP 98), 12-19 de septiembre de 1998, Braga, Portugal ]. Apuntes de clase en informática. Vol. 1608. págs. 28-115. doi :10.1007/10704973_2. ISBN 978-3-540-66241-9.
• Doornbos, H.; Backhouse, R.; vanderWoude, J. (junio de 1997). "Un enfoque calculacional para la inducción matemática". Ciencias de la Computación Teórica . 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 de verano internacional 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 ]. Apuntes de clase en informática. Vol. 2297. págs. 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 las matemáticas de la construcción de programas, fecha: 17-21 de julio de 1995 Kloster Irsee Alemania]. Ciencia de la programación informática . 26 (1–3): 217–236. doi : 10.1016/0167-6423(95)00027-5 .

Enlaces externos

• Sitio web oficial
• La bibliografía informática del DBLP