Roland Carl Backhouse - Roland Carl Backhouse - Wikipedia
Roland Carl Backhouse | |
|---|---|
 Roland Backhouse, 2009 | |
| narozený | 18. srpna 1948 |
| Státní občanství | Velká Británie Holandsko |
| Vzdělání | Churchill College, Cambridge Imperial College London |
| Známý jako | Konstrukce programu Algoritmické řešení problémů ALGOL |
| Manžel (y) | Hilary |
| Děti | 3 |
| Vědecká kariéra | |
| Pole | Počítačová věda, matematika |
| Instituce | Royal Aircraft Establishment Heriot-Watt University University of Essex University of Groningen Eindhoven University of Technology University of Nottingham |
| Doktorský poradce | Jim Cunningham |
| Vlivy | T. J. (Paddy) MacDonald, Edsger W. Dijkstra, David Gries, Tony Hoare |
| webová stránka | www |
Roland Carl Backhouse (narozen 18. srpna 1948) je a britský počítačový vědec a matematik. Od roku 2020[Aktualizace], on je Emeritní Profesor počítačové vědy na University of Nottingham.[1][2]
raný život a vzdělávání
Backhouse se narodil a vyrostl v Thorntree okres Middlesbrough, průmyslové město na severovýchodě Anglie. V roce 1959 získal místo na tehdy mužském gymnáziu Acklam Hall, než pokračoval Churchill College, Cambridge, v roce 1966. Jeho doktorát (Ph.D.) byl dokončen pod dohledem Jima Cunninghama v Imperial College London.
Kariéra
Kariéra Backhouse zahrnovala Royal Aircraft Establishment (1969–1970), Heriot-Watt University (1973–1982), University of Essex (1982–1986). Byl dříve profesorem výpočetní techniky na University of Groningen (1986–1990) a Eindhoven University of Technology (1990–1999) v Holandsko, před svou pozicí na University of Nottingham.
Byl členem Mezinárodní federace pro zpracování informací (IFIP) Pracovní skupina IFIP 2.1 o algoritmických jazycích a výpočtech,[3] který specifikováno, udržuje a podporuje programovací jazyky ALGOL 60 a ALGOL 68.[4]
Osobní život
Backhouse je ženatý s Hilary, rozenou Mitchell. Mají tři syny, Kevina, Andrewa a Davide.
Akademické zájmy
Jeho výzkumné zájmy spočívají v matematice konstrukce programů a algoritmické řešení problému. Dohromady s Jan L. A. van de Snepscheut (1953—1994) zahájil dvouletou sérii konferencí o matematice konstrukce programů, první se konala v roce 1989.
Reference
- ^ „Roland Backhouse“. University of Nottingham. Citováno 19. února 2020.
- ^ „Roland Backhouse: School of Computer Science“. University of Nottingham. Citováno 19. února 2020.
- ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17. srpna 2016). „Profil pracovní skupiny IFIP 2.1“. Foswiki. Citováno 10. září 2020.
- ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2. března 2011). „ScopeEtc: IFIP21: Foswiki“. Foswiki. Citováno 10. září 2020.
Publikace
Knihy
- Backhouse, Roland (2011). Algoritmické řešení problémů. Chichester: Wiley. ISBN 978-0-470-68453-5.
- Backhouse, Roland (2003). Konstrukce programu: výpočet implementací ze specifikací. Chichester: Wiley. ISBN 978-0-470-84882-1.
- Backhouse, Roland (1986). Konstrukce a ověření programu. Englewood Cliffs N.J .: Prentice-Hall International. ISBN 978-0-13-729153-3.
- Backhouse, Roland (1979). Syntax programovacích jazyků. Prentice-Hall Mezinárodní série v informatice. Englewood Cliffs, N.J .: Prentice-Hall International. ISBN 978-0-13-879999-1.
Knihy upraveny
- Backhouse, Roland; Gibbons, Jeremy; Hinze, Ralph; Jeuring, Johan, eds. (2007). Generické programování datových typů: mezinárodní jarní škola, SSDGP 2006, Nottingham, Velká Británie 24. – 27. Dubna 2006, revidované přednášky. International Spring School on Datatype-Generic Programming. Berlín: Springer. ISBN 978-3-540-76785-5.
- Backhouse, Roland; Gibbons, Jeremy, eds. (2003). Obecné programování: pokročilé přednášky [přednášky prezentované na letní škole obecného programování konané na univerzitě v Oxfordu v srpnu 2002]. Letní škola obecného programování. Berlín: Springer. ISBN 978-3-540-20194-6.
- Backhouse, Roland; Crole, Roy L .; Gibbons, Jeremy, eds. (2002). Algebraické a uhlígebraické metody v matematice konstrukce programu: mezinárodní letní škola a workshop Oxford, Velká Británie, 10. – 14. Dubna 2000, revidované přednášky. Berlín; New York: Springer. ISBN 978-3-540-43613-3.
- Backhouse, Roland; Oliveira, Jose N., eds. (2000). Matematika konstrukce programu 2000. Berlín; New York: Springer. ISBN 978-3-540-67727-7.
Vybrané příspěvky
- Backhouse, R.C .; Carre, B.A. (1975). "Pravidelná algebra aplikovaná na problémy s nalezením cesty". Časopis Ústavu matematiky a jeho aplikací. 15 (2): 161–186. doi:10.1093 / imamat / 15.2.161.
- Backhouse, R .; Jansson, P .; Jeuring, J .; et al. (1999). Obecné programování - úvod [Informace o konferenci: 3. mezinárodní škola pokročilého funkčního programování (AFP 98), 12. – 19. Září 1998, Braga Portugalsko]. Pokročilé funkční programování. Přednášky z informatiky. 1608. str. 28–115. doi:10.1007/10704973_2. ISBN 978-3-540-66241-9.
- Doornbos, H .; Backhouse, R .; vanderWoude, J. (červen 1997). Msgstr "Výpočetní přístup k matematické indukci". Teoretická informatika. 179 (1–2): 103–135. doi:10.1016 / s0304-3975 (96) 00154-5.
- Backhouse, R. (2002). "Galoisova připojení a počet pevných bodů". Algebraické a koalgebraické metody v matematice konstrukce programu: Mezinárodní letní škola a seminář, Oxford, Velká Británie, 10. – 14. Dubna 2000, revidované přednášky [Informace o konferenci: Mezinárodní letní škola a workshop o algebraických a koalgebraických metodách v matematice konstrukce programu, datum: 10. – 14. Dubna 2000 University of Oxford, Oxford, Anglie]. Algebraické a koalgebraické metody v matematice konstrukce programů. Přednášky z informatiky. 2297. str. 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). „Reductivity“ [Informace o konferenci: 3. mezinárodní konference o matematice konstrukce programů, datum: 17. – 21. Července 1995 Kloster Irsee Německo]. Věda o počítačovém programování. 26 (1–3): 217–236. doi:10.1016/0167-6423(95)00027-5.
