|Born||November 1934 85) (age|
|Alma mater|| University of Cambridge |
|Institutions||University of Edinburgh|
|Doctoral advisor||N. A. Dudley|
K. Brian Haley
|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)
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.
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 Universityto 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.
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.
In 1995, he was elected a Fellow of the Royal Society of Edinburgh.
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.
In 2009, he was awarded the ACM SIGPLAN Programming Language Achievement Award.
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 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 John Caldwell Gordon FRS was a leading British computer scientist.
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 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 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 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 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 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 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 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 was a Canadian computer scientist noted for her research in programming languages and compilers.
|This biography article of a United Kingdom academic is a stub. You can help Wikipedia by expanding it.|
|This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it.|