词条 | Roland Carl Backhouse |
释义 |
|name = Roland Carl Backhouse |image = Roland backhouse.jpg |image_size = |alt = |caption = Roland Backhouse, 2009 |birth_date = {{Birth date and age|1948|08|18|df=y}} |birth_place = Middlesbrough, England |death_date = |death_place = |residence = Nottingham, England |citizenship = British and Dutch |nationality = |ethnicity = |fields = Computers |workplaces = University of Nottingham |alma_mater = Churchill College, Cambridge Imperial College London |doctoral_advisor = Jim Cunningham |academic_advisors = |doctoral_students = |notable_students = |known_for = Program construction, algorithmic problem solving |author_abbrev_bot = |author_abbrev_zoo = |influences = T J (Paddy) MacDonald, Edsger W. Dijkstra, David Gries, C. A. R. Hoare |influenced = |awards = |signature = |signature_alt = |footnotes = }}Roland Carl Backhouse (born 18 August 1948) is a British computer scientist and mathematician who is currently Professor of Computing Science at the University of Nottingham.[1] Early life and educationBackhouse was born and raised in the Thorntree district of Middlesbrough, an industrial town in the north-east of England. In 1959 he won a place at the then all-male Acklam Hall Grammar School before going on to Churchill College, Cambridge, in 1966. His doctorate was completed under the supervision of Jim Cunningham at Imperial College London. CareerBackhouse's career has included Royal Aircraft Establishment (1969–1970), Heriot-Watt University (1973–1982), University of Essex (1982–1986). He was formerly Professor of Computer Science at the University of Groningen (1986–90) and Eindhoven University of Technology (1990–1999) in the Netherlands, prior to his current position at the University of Nottingham. Personal lifeBackhouse is married to Hilary (née Mitchell) and they have three sons, Kevin, Andrew and David. Academic interestsHis research interests lie in the mathematics of program construction and algorithmic problem solving. Together with Jan L. A. van de Snepscheut (1953—1994), he began the biennial series of conferences on the Mathematics of Program Construction, the first of which was held in 1989. References1. ^{{Cite web|url= http://www.nottingham.ac.uk/computerscience/People/roland.backhouse|title=People look-up – The University of Nottingham|work=nottingham.ac.uk|accessdate=18 February 2010}} PublicationsBooks
Books edited
Selected papers
| authorlink = | last = Backhouse | first = RC | last2 = Carre | first2 = BA | editor-link = | year = 1975 | title = Regular algebra applied to path-finding problems |trans-title= | journal = Journal of the Institute of Mathematics and its Applications | volume = 15 | issue = 2 | series = | pages = 161–186 | issn = | pmid = | pmc = | doi =10.1093/imamat/15.2.161 | bibcode = | oclc = | id = | url = | language = | format = | accessdate = | laysummary = | laysource = | laydate = | quote = | ref = }}
| last = Backhouse | first = R | authorlink = | last2 = Jansson | first2 = P | last3 = Jeuring | first3 = J | editor-link = | year = 1999 | title = Generic programming – An introduction |trans-title= Conference Information: 3rd International School on Advanced Functional Programming (AFP 98),12–19 September 1998 Braga Portugal | journal = Advanced Functional Programming | volume = 1608 | issue = | series =Lecture Notes in Computer Science | pages = 28–115 | location = | issn = | pmid = | pmc = | doi =10.1007/10704973_2 | bibcode = | oclc = | id = | url = | language = | format = | accessdate = | laysummary = | laysource = | laydate = | quote = | ref = |display-authors=etal| isbn = 978-3-540-66241-9 }}
| last = Doornbos | first = H | authorlink = | last2 = Backhouse | first2 = R | last3 = vanderWoude | first3 = J | editor-link = | date = June 1997 | title = A calculational approach to mathematical induction |trans-title= | journal = Theoretical Computer Science | volume = 179 | issue = 1–2 | series = | pages = 103–135 | issn = | pmid = | pmc = | doi =10.1016/s0304-3975(96)00154-5 | bibcode = | oclc = | id = | url = | language = | format = | accessdate = | laysummary = | laysource = | laydate = | quote = | ref = }}
| last = Backhouse | first = R | authorlink = | editor-link = | year = 2002 | title = Galois connections and fixed point calculus |trans-title= Conference Information: International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Date: 10–14 April 2000 University of Oxford, Oxford, England | journal = Algebraic and Coalgebraic Methods in the Mathematics of Program Construction | volume = 2297 | issue = | series =Lecture Notes in Computer Science | pages = 89–148 | location = | issn = | pmid = | pmc = | doi =10.1007/3-540-47797-7_4 | bibcode = | oclc = | id = | url = | language = | format = | accessdate = | laysummary = | laysource = | laydate = | quote = | ref = | isbn = 978-3-540-43613-3 | citeseerx = 10.1.1.108.2022 }}
| last = Doornbos | first = H | authorlink = | last2 = Backhouse | first2 = R | editor-link = | year = 1996 | title = Reductivity |trans-title= Conference Information: 3rd International Conference on the Mathematics of Program Construction, Date: 17–21 July 1995 Kloster Irsee Germany | journal = Science of Computer Programming | volume = 26 | issue = 1–3 | series = | pages = 217–236 | issn = | pmid = | pmc = | doi =10.1016/0167-6423(95)00027-5 | bibcode = | oclc = | id = | url = | language = | format = | accessdate = | laysummary = | laysource = | laydate = | quote = | ref = }} External links
8 : 1948 births|Living people|People from Middlesbrough|Alumni of Churchill College, Cambridge|Alumni of Imperial College London|Academics of the University of Nottingham|20th-century British mathematicians|21st-century British mathematicians |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。