| 词条 | Rod Burstall |
| 释义 |
|image = |image_size = 150px | name = Rod Burstall | birth_date = {{b-da|November 1934}} | birth_place = Liverpool, England | residence = Scotland, France | nationality = British | field = Computer science | work_institution = University of Edinburgh | alma_mater = | doctoral_advisor = N. A. Dudley K. Brian Haley[1] | doctoral_students = Thorsten Altenkirch (1993) Raymond Aubin (1976) John Darlington (1972) Martin Feather (1979) Healfdene Goguen (1994) Mike Gordon (1973) Masahito Hasegawa (1997) Thomas Kleymann (1998) Zhaohui Luo (1990) Conor McBride (1999) James McKinna (1992) J Strother Moore (1973) Alan Mycroft (1982) Gordon Plotkin (1972) Randy Pollack (1995) Brian Ritchie (1988) David Rydeheard (1982) Don Sannella (1982) Makoto Takeyama (1995) Rodney Topor (1975) | website = http://www.freewebs.com/rodburstall/ }}Rodney Martineau "Rod" Burstall FRSE (born 1934) is a British computer scientist and one of four founders of the Laboratory for Foundations of Computer Science at the University of Edinburgh.[2] BiographyBurstall studied physics at the University of Cambridge, then an M.Sc. in operational research at Birmingham University. He worked for three years before returning to Birmingham University[3] to earn a Ph.D. in 1966 with thesis titled Heuristic and Decision Tree Methods on Computers: Some Operational Research Applications under the supervision of N. A. Dudley and K. B. Haley.[1] Burstall was an early and influential proponent of functional programming, pattern matching, and list comprehension, and is known for his work with Robin Popplestone on POP, an innovative programming language developed at Edinburgh around 1970, and later work with John Darlington on NPL and David MacQueen and Don Sannella on Hope, a precursor to Standard ML, Miranda, and Haskell.[5] In 1995, he was elected a Fellow of the Royal Society of Edinburgh[4]. Burstall retired in 2000, becoming Professor Emeritus, and now spends most of his time in Scotland and France. In 2002 David Rydeheard and Don Sannella assembled a festschrift for Rod Burstall that was published in Formal Aspects of Computing.[5] In 2009, he was awarded the ACM SIGPLAN Programming Language Achievement Award.[6][7] Books
References1. ^1 {{MathGenealogy|id=102542}} 2. ^{{cite news| journal=Formal Aspects of Computing | volume=13 | number=3–5 | year=2002 | page=194 | doi=10.1007/s001650200007 | title=Ode to Rod Burstall | first=Eleanor | last=Kerse | url= http://www.springerlink.com/content/9gkf0mdkwmlju3f8/ | publisher=Springer }} 3. ^{{cite web | url = http://homepages.inf.ed.ac.uk/rburstall/ | title = Rod Burstall's home page | publisher = University of Edinburgh | accessdate = 31 Oct 2012}} 4. ^{{Cite news|url=https://www.rse.org.uk/fellow/rodney-burstall/|title=Professor Rodney Martineau Burstall FRSE - The Royal Society of Edinburgh|work=The Royal Society of Edinburgh|access-date=2018-03-12|language=en-GB}} 5. ^1 D. Rydeheard & Don Sannella (July 2002) "A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science", Formal Aspects of Computing 13(3-5): 187–193 {{doi|10.1007/s001650200006}} 6. ^{{cite web| url= http://sigplan.org/Awards/Achievement/Main | title=SIGPLAN Programming Languages Achievement Award — 2009: Rod Burstall| publisher= ACM SIGPLAN | accessdate=22 September 2012 }} 7. ^{{cite web| url=http://vimeo.com/6654363 | title=SIGPLAN Programming Languages Achievement Award: Rod Burstall| first=Malcolm | last=Wallace | publisher=Vimeo | accessdate=22 September 2012 | postscript=. Introduced by Philip Wadler. }} External links
8 : 1934 births|Living people|People from Liverpool|British computer scientists|Formal methods people|Academics of the University of Edinburgh|Alumni of the University of Cambridge|Alumni of the University of Birmingham |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。