Related Research Articles
Ross John Anderson was a British researcher, author, and industry consultant in security engineering. He was Professor of Security Engineering at the Department of Computer Science and Technology, University of Cambridge where he was part of the University's security group.
The Department of Computer Science and Technology, formerly the Computer Laboratory, is the computer science department of the University of Cambridge. As of 2023 it employed 56 faculty members, 45 support staff, 105 research staff, and about 205 research students. The current Head of Department is Professor Alastair Beresford.
David John Wheeler was a computer scientist and professor of computer science at the University of Cambridge.
Jack Joseph Dongarra is an American computer scientist and mathematician. He is a University Distinguished Professor Emeritus of Computer Science in the Electrical Engineering and Computer Science Department at the University of Tennessee. He holds the position of a Distinguished Research Staff member in the Computer Science and Mathematics Division at Oak Ridge National Laboratory, Turing Fellowship in the School of Mathematics at the University of Manchester, and is an adjunct professor and teacher in the Computer Science Department at Rice University. He served as a faculty fellow at the Texas A&M University Institute for Advanced Study (2014–2018). Dongarra is the founding director of the Innovative Computing Laboratory at the University of Tennessee. He was the recipient of the Turing Award in 2021.
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.
David A. Turner was a British computer scientist. He is best known for designing and implementing three programming languages, including the first for functional programming based on lazy evaluation, combinator graph reduction, and polymorphic types: SASL (1972), Kent Recursive Calculator (KRC) (1981), and the commercially supported Miranda (1985).
Robert Nicholas Maxwell Watson is a FreeBSD developer, and founder of the TrustedBSD Project. He is currently employed as a Professor of Systems, Security, and Architecture in the Security Research Group at the University of Cambridge Computer Laboratory.
Clifford "Cliff" B. Jones is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory under Tony Hoare, awarded in 1981. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee.
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.
Egon Börger is a German-born computer scientist based in Italy.
Lawrence Charles Paulson is an American computer scientist. He is a Professor of Computational Logic at the University of Cambridge Computer Laboratory and a Fellow of Clare College, Cambridge.
Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search.
In computer science, polymorphic recursion refers to a recursive parametrically polymorphic function where the type parameter changes with each recursive invocation made, instead of staying constant. Type inference for polymorphic recursion is equivalent to semi-unification and therefore undecidable and requires the use of a semi-algorithm or programmer-supplied type annotations.
The Norcroft C compiler in computing is a portable set of C/C++ programming tools written by Codemist, available for a wide range of processor architectures.
Acorn C/C++ is a set of C/C++ programming tools for use under the RISC OS operating system. The tools use the Norcroft compiler suite and were authored by Codemist and Acorn Computers. The tools provide some facilities offered by a fully integrated development environment.
The Raspberry Pi Foundation is a registered charity in England and Wales, as well as an England and Wales company limited by guarantee. It was founded in 2009 to promote the study of computer science. It is part of a group that comprises legal entities in India, Ireland, and the United States, which carry out educational activities in those jurisdictions; and Raspberry Pi Ltd, a commercial subsidiary that develops Raspberry Pi computers and other hardware. The foundation’s charitable activities are funded through a combination of Gift Aid from the profits of Raspberry Pi Ltd, contracts for the delivery of educational services e.g. professional development for teachers, and donations from individuals, foundations, and other organisations.
Eben Christopher Upton is the Welsh CEO of Raspberry Pi (Trading) Ltd., which runs the engineering and trading activities of the Raspberry Pi Foundation. He is responsible for the overall software and hardware architecture of the Raspberry Pi device. He is a former technical director and ASIC architect for Broadcom.
Sonic Pi is a live coding environment based on Ruby, originally designed to support both computing and music lessons in schools, developed by Sam Aaron in the University of Cambridge Computer Laboratory in collaboration with Raspberry Pi Foundation.
Andrei Anatolievič Voronkov is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.
Susan Sentance is a British computer scientist, educator and director of the Raspberry Pi Foundation Computing Education Research Centre at the University of Cambridge. Her research investigates a wide range of issues computer science education, teacher education and the professional development of those teaching computing. In 2020 Sentance was awarded a Suffrage Science award for her work on computing education.
References
- 1 2 Alan Mycroft publications indexed by Google Scholar
- 1 2 Mycroft, Alan (1982). Abstract interpretation and optimising transformations for applicative programs (PhD thesis). University of Edinburgh. OCLC 10271733.
- ↑ Alan Mycroft publications indexed by Microsoft Academic
- ↑ Alan Mycroft at DBLP Bibliography Server
- ↑ Alan Mycroft author profile page at the ACM Digital Library
- ↑ Alan Mycroft's publications indexed by the Scopus bibliographic database. (subscription required)
- ↑ Mycroft, A.; O'Keefe, R. A. (1984). "A polymorphic type system for prolog". Artificial Intelligence. 23 (3): 295. doi:10.1016/0004-3702(84)90017-1.
- ↑ Mycroft, A. (1984). "Polymorphic type schemes and recursive definitions". International Symposium on Programming. Lecture Notes in Computer Science. Vol. 167. pp. 217–228. doi:10.1007/3-540-12925-1_41. ISBN 978-3-540-12925-7.
- ↑ Mycroft, A. (1980). "The theory and practice of transforming call-by-need into call-by-value". International Symposium on Programming. Lecture Notes in Computer Science. Vol. 83. pp. 269–281. doi:10.1007/3-540-09981-6_19. ISBN 978-3-540-09981-9.
- ↑ Nethercote, N.; Mycroft, A. (2003). "Redux". Electronic Notes in Theoretical Computer Science. 89 (2): 149. doi: 10.1016/S1571-0661(04)81047-8 .
- ↑ Mycroft, Alan; Norman, Arthur C. (1992). "Part I: classical imperative languages". Optimising compilation. Cambridge, UK: University of Cambridge, Computer Laboratory. CiteSeerX 10.1.1.43.9953 . OCLC 29982690.
[…] the 'Norcroft' compiler suite jointly constructed by the authors […] Commercial interests are referred to Codemist Ltd. […]
- ↑ Bush, Steve (26 May 2011). "In depth: Raspberry Pi, the computer on a stick". Electronics Weekly . Retrieved 11 July 2011.
The Raspberry Pi developers and trustees of its Foundation are: David Braben – Founder of games software firm Frontier Developments and co-author of 'Elite'. Jack Lang – Business angel, early Acorn employee, founder of Cambridge start-ups. Pete Lomas – Founder and MD of Norcott Technologies. Robert Mullins – University of Cambridge Computer Laboratory and St. John's College, Cambridge. Alan Mycroft – Professor of Computing in University of Cambridge Computer Laboratory Eben Upton – Engineer at Broadcom Europe, founder of software start-ups, and former director of computer science at St. John's College, Cambridge.
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
 | This biography article of a United Kingdom academic is a stub. You can help Wikipedia by expanding it. |
 | This article about a British scientist is a stub. You can help Wikipedia by expanding it. |