Wędka Burstall - Rod Burstall

Wędka Burstall
Urodzić się listopad 1934 (wiek  ( 1934-11 )86)
Narodowość brytyjski
Alma Mater Uniwersytet Cambridge
Uniwersytet Birmingham
Kariera naukowa
Pola Informatyka
Instytucje Uniwersytet w Edynburgu
Doradca doktorski NA Dudley
K. Brian Haley
Doktoranci 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)
Michael Mendler (1993)
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)
Strona internetowa http://www.freewebs.com/rodburstall/

Rodney MartineauRodBurstall FRSE (ur. 1934) to brytyjski informatyk i jeden z czterech założycieli Laboratorium Podstaw Informatyki na Uniwersytecie w Edynburgu .

Biografia

Burstall studiował fizykę na Uniwersytecie w Cambridge , a następnie uzyskał tytuł magistra inżyniera. w badaniach operacyjnych na Uniwersytecie w Birmingham . Pracował przez trzy lata, zanim wrócił na Birmingham University, aby zdobyć doktorat. w 1966 roku z rozprawą zatytułowaną Heuristic and Decision Tree Methods on Computers: Some Operational Research Applications pod kierunkiem NA Dudleya i KB Haleya.

Burstall był wczesnym i wpływowym zwolennikiem programowania funkcyjnego , dopasowywania wzorców i rozumienia list , znany jest z pracy z Robinem Popplestonem nad POP , innowacyjnym językiem programowania opracowanym w Edynburgu około 1970 roku , a później z Johnem Darlingtonem nad NPL i programami . transformacji oraz z Davidem MacQueenem i Donem Sannellą on Hope , prekursorem Standard ML , Mirandą i Haskellem .

W 1995 roku został wybrany członkiem Royal Society of Edinburgh .

Burstall przeszedł na emeryturę w 2000 roku, zostając emerytowanym profesorem, a obecnie większość czasu spędza w Szkocji i Francji .

W 2002 roku David Rydeheard i Don Sannella zgromadził Festschrift dla Rod Burstall, który został opublikowany w formalnych aspektów informatyki .

W 2009 roku otrzymał nagrodę ACM SIGPLAN Programming Language Achievement Award.

Książki

  • Maj 1971: Programowanie w POP-11 , Edinburgh University Press .
  • 1980: (z Alanem Bundy ) Sztuczna inteligencja: kurs wprowadzający , Edinburgh University Press.
  • 1988: (z DE Rydeheard) Computational Category Theory , Prentice-Hall , ISBN  978-0131627369 .

Bibliografia

Zewnętrzne linki