Related Research Articles
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.
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.
Philip Lee Wadler is a UK-based American computer scientist known for his contributions to programming language design and type theory. He is the chair of theoretical computer science at the Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh. He has contributed to the theory behind functional programming and the use of monads; and the designs of the purely functional language Haskell and the XQuery declarative query language. In 1984, he created the Orwell language. Wadler was involved in adding generic types to Java 5.0. He is also author of "Theorems for free!", a paper that gave rise to much research on functional language optimization.
Ron Morrison was the head of School of the computer science department of the University of St. Andrews where he worked on programming languages, inventing S-algol, and coinventing PS-algol and Napier88. He had graduated from St. Andrews with a Doctor of Philosophy (Ph.D.) in 1979. He is also heavily involved with local athletics, coaching the University Cross-Country team, and young, up and coming local athletes. He is a Fellow of the Royal Society of Edinburgh, and the current President of Scottish Athletics.
Donald Michie was a British researcher in artificial intelligence. During World War II, Michie worked for the Government Code and Cypher School at Bletchley Park, contributing to the effort to solve "Tunny", a German teleprinter cipher.
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.
Austin Tate is Emeritus Professor of Knowledge-based systems in the School of Informatics at the University of Edinburgh. From 1985 to 2019 he was Director of AIAI in the School of Informatics at the University of Edinburgh.
Johanna Doris Moore FRSE is a computational linguist and cognitive scientist. Her research publications include contributions to natural language generation, spoken dialogue systems, computational models of discourse, intelligent tutoring and training systems, human-computer interaction, user modeling, and knowledge representation.
Christopher Michael Bishop is a British computer scientist. He is a Microsoft Technical Fellow and Director of Microsoft Research AI4Science. He is also Honorary Professor of Computer Science at the University of Edinburgh, and a Fellow of Darwin College, Cambridge. Chris was a founding member of the UK AI Council, and in 2019 he was appointed to the Prime Minister’s Council for Science and Technology.
Rodney Martineau "Rod" Burstall FRSE is a British computer scientist and one of four founders of the Laboratory for Foundations of Computer Science at the University of Edinburgh.
Stephen Brewster FRSE is the Professor of Human-Computer Interaction in the Department of Computing Science at the University of Glasgow, UK, where he runs the Multimodal Interaction Group. His main research interest is multimodal human-computer interaction, sound and haptics and gestures. Brewster received a PhD at the Human-Computer Interaction Group at the University of York. He organized the Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI) several times and is the organiser for the CHI Conference on Human Factors in Computing Systems alongside Geraldine Fitzpatrick. He has contributed to several scientific books.
Guy Charles Lloyd-Jones FRS FRSE is a British chemist. He is the Forbes Professor of Organic Chemistry at the University of Edinburgh in the United Kingdom. His research is largely concerned with the determination of organometallic reaction mechanisms, especially those of palladium-catalyzed coupling reactions such as Suzuki-Miyaura coupling.
Susan B. Davidson CorrFRSE is an American computer scientist known for work in databases and bioinformatics. She is Weiss Professor of Computer and Information Science at University of Pennsylvania. Her dissertation work on distributed databases included results on statistical and mathematical techniques for data resolution as well as mechanisms to avoid database conflicts.
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. With Alison Simmons, she is co-founder of the Embedded EthiCS programme at Harvard, which embeds ethics lessons into computer science courses.
William Stirling MD LLD DSc FRSE, was a Scottish physiologist. He served as professor of physiology and was a founder of the physiology department at the Victoria University of Manchester.
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.
Leonid Libkin is a computer scientist who works in data management, in particular in database theory, and in logic in computer science.
Alan Eglin Heathcote Emery is a British medical geneticist, known for his study of muscular dystrophy.
Sidney Michaelson FRSE FIMA FSA FBCS was Scotland's first professor of Computer Science. He was joint founder of the Institute of Mathematics and its Applications. As an author he is remembered for his analysis of the Bible.
Andrew Rambaut is a British evolutionary biologist, as of 2020 professor of molecular evolution at the University of Edinburgh.
References
- ↑ "Professor Donald Theodore Sannella FRSE - The Royal Society of Edinburgh". The Royal Society of Edinburgh. Retrieved 9 February 2018.
