Rod Burstall

Last updated

Rod Burstall
BornNovember 1934 (1934-11) (age 85)
Nationality British
Alma mater University of Cambridge
Birmingham University
Scientific career
Fields Computer science
Institutions University of Edinburgh
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)
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)
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]

Contents

Biography

Burstall 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 program transformation and with David MacQueen and Don Sannella on Hope, a precursor to Standard ML, Miranda, and Haskell. [4]

In 1995, he was elected a Fellow of the Royal Society of Edinburgh [5] .

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. [4]

In 2009, he was awarded the ACM SIGPLAN Programming Language Achievement Award. [6] [7]

Books

Related Research Articles

Tony Hoare British computer scientist

Sir Charles Antony Richard Hoare is a British computer scientist. He developed the sorting algorithm quicksort in 1959–1960. He also developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes and the inspiration for the programming language occam.

The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in informatics. It was created in 1998 from the former Department of Artificial Intelligence, the Centre for Cognitive Science and the Department of Computer Science, along with the Artificial Intelligence Applications Institute (AIAI) and the Human Communication Research Centre.

Samson Abramsky computer scientist

Samson Abramsky FRS, FRSE is a computer scientist who holds the Christopher Strachey Professorship at the Department of Computer Science, University of Oxford. He has made contributions to the areas of domain theory, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, geometry of interaction, game semantics and quantum computing.

Hope is a small functional programming language developed in the 1970s at the University of Edinburgh. It predates Miranda and Haskell and is contemporaneous with ML, also developed at the University. Hope was derived from NPL, a simple functional language developed by Rod Burstall and John Darlington in their work on program transformation. NPL and Hope are notable for being the first languages with call-by-pattern evaluation and algebraic data types.

SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.

Michael J. C. Gordon Computer scientist

Michael John Caldwell Gordon FRS was a leading British computer scientist.

Matthias Felleisen American academic

Matthias Felleisen is a German-American computer science professor and author. He grew up in Germany and immigrated to the US when he was 21 years old.

Gordon Plotkin Computer Scientist

Gordon David Plotkin, is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics were very influential. He has contributed to many other areas of computer science.

John C. Reynolds American computer scientist

John Charles Reynolds was an American computer scientist.

Donald T. Sannella FRSE is professor of computer science in the Laboratory for Foundations of Computer Science, at the School of Informatics, University of Edinburgh, Scotland.

Philip Wadler American computer scientist

Philip Lee Wadler is an American computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming and the use of monads in functional programming, the design of the purely functional language Haskell, and the XQuery declarative query language. In 1984, he created the Orwell programming language. Wadler was involved in adding generic types to Java 5.0. He is also author of the paper Theorems for free! that gave rise to much research on functional language optimization.

Jean E. Sammet was an American computer scientist who developed the FORMAC programming language in 1962. She was also one of the developers of the influential COBOL programming language.

Luca Cardelli Italian computer scientist

Luca Andrea Cardelli FRS is an Italian computer scientist who is an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is well known for his research in type theory and operational semantics. Among other contributions, he helped design Modula-3, implemented the first compiler for the (non-pure) functional programming language ML, and defined the concept of typeful programming. He helped develop the Polyphonic C# experimental programming language.

Oscar Peter Buneman, is a British computer scientist who works in the areas of database systems and database theory.

George Necula Romanian computer scientist

George Ciprian Necula is a Romanian computer scientist, engineer at Google, and former professor at the University of California, Berkeley who does research in the area of programming languages and software engineering, with a particular focus on software verification and formal methods. He is best known for his Ph.D. thesis work first describing proof-carrying code, a work that received the 2007 SIGPLAN Most Influential POPL Paper Award.

Alan Mycroft is a professor at the Computer Laboratory, University of Cambridge and a Fellow of Robinson College, Cambridge, where he is also director of studies for computer science.

Barbara J. Grosz American computer scientist

Barbara J. Grosz CorrFRSE is an American computer scientist and Higgins Professor of Natural Sciences at Harvard University. She has made seminal contributions to the fields of natural language processing and multi-agent systems.

Wenfei Fan computer scientist

Wenfei Fan is a Chinese-British computer scientist and professor of web data management at the University of Edinburgh. His research investigates database theory and database systems.

Laurie Hendren Canadian computer scientist

Laurie Hendren was a Canadian computer scientist noted for her research in programming languages and compilers.

References

  1. 1 2 Rod Burstall at the Mathematics Genealogy Project
  2. Kerse, Eleanor (2002). "Ode to Rod Burstall". Formal Aspects of Computing. 13 (3–5). Springer. p. 194. doi:10.1007/s001650200007.
  3. "Rod Burstall's home page". University of Edinburgh. Retrieved 31 October 2012.
  4. 1 2 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
  5. "Professor Rodney Martineau Burstall FRSE - The Royal Society of Edinburgh". The Royal Society of Edinburgh. Retrieved 12 March 2018.
  6. "SIGPLAN Programming Languages Achievement Award — 2009: Rod Burstall". ACM SIGPLAN . Retrieved 22 September 2012.
  7. Wallace, Malcolm. "SIGPLAN Programming Languages Achievement Award: Rod Burstall". Vimeo . Retrieved 22 September 2012. Introduced by Philip Wadler.