Arthur John Robin Gorell Milner was a British computer scientist, and a Turing Award winner.
The British Computer Society (BCS), branded BCS, The Chartered Institute for IT, since 2009, is a professional body and a learned society that represents those working in information technology (IT), computing, software engineering and computer science, both in the United Kingdom and internationally. Founded in 1957, BCS has played an important role in educating and nurturing IT professionals, computer scientists, software engineers, computer engineers, upholding the profession, accrediting chartered IT professional status, and creating a global community active in promoting and furthering the field and practice of computing.
Samson Abramsky is Professor of Computer Science at University College London. He was previously the Christopher Strachey Professor of Computing at Wolfson College, Oxford, from 2000 to 2021.
Performance Evaluation Process Algebra (PEPA) is a stochastic process algebra designed for modelling computer and communication systems introduced by Jane Hillston in the 1990s. The language extends classical process algebras such as Milner's CCS and Hoare's CSP by introducing probabilistic branching and timing of transitions.
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.
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.
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.
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.
Amanda Elizabeth Chessell is a computer scientist and a Distinguished Engineer at IBM. She has been awarded the title of IBM Master Inventor. She is also a Member of the IBM Academy of Technology.
Karen Ida Boalth Spärck Jones was a self-taught programmer and a pioneering British computer scientist responsible for the concept of inverse document frequency (IDF), a technology that underlies most modern search engines. She was an advocate for women in the field of computer science. She even came up with a slogan: “Computing is too important to be left to men.” In 2019, The New York Times published her belated obituary in its series Overlooked, calling her "a pioneer of computer science for work combining statistics and linguistics, and an advocate for women in the field." From 2008, to recognize her achievements in the fields of information retrieval (IR) and natural language processing (NLP), the Karen Spärck Jones Award is awarded to a new recipient with outstanding research in one or both of her fields.
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.
Jane Grimson, is an Irish computer engineer. She is Fellow Emerita and Pro-Chancellor at Trinity College Dublin.
The Roger Needham award is a prize given scientists who are recognised for important contributions made to computer science research The British Computer Society established an annual Roger Needham Award in honour of Roger Needham in 2004. It is a £5000 prize is presented to an individual for making "a distinguished research contribution in computer science by a UK-based researcher within ten years of their PhD." The award is funded by Microsoft Research. The winner of the prize has an opportunity to give a public lecture.
Mirella Lapata FRSE is a computer scientist and Professor in the School of Informatics at the University of Edinburgh. Working on the general problem of extracting semantic information from large bodies of text, Lapata develops computer algorithms and models in the field of natural language processing (NLP).
Eleanor Mary Riley was Director of the Roslin Institute, Dean of Research at the Royal (Dick) School of Veterinary Studies, and professor of Immunology at the University of Edinburgh. Her research focusses on understanding the immune response of the host to malaria and other diseases using human data and mouse models.
Jade Alglave is a French computer scientist whose research involves concurrency control, consistency models, weak hardware memory models, the relation between computer hardware and programming languages, and the "cat" domain-specific language for consistency models. She is a professor of computer science at University College London and a distinguished engineer at British semiconductor firm Arm.
Sharon J. Goldwater is an American and British computer scientist, cognitive scientist, developmental linguist, and natural language processing researcher who holds the Personal Chair of Computational Language Learning in the University of Edinburgh School of Informatics. Her research involves the unsupervised learning of language by computers, and computer modeling of language development in children.
Helen Hastie is the Head of the School of Informatics of the University of Edinburgh and a RAEng/Leverhulme Trust Senior Research Fellow. She specialises in Human-Robot Interaction and Multimodal interfaces. Hastie has undertaken projects such as AI personal assistants for remote robots, autonomous systems and spoken dialogue systems for sectors in defence and energy. She is a Fellow of the Royal Society of Edinburgh.
Fiona McNeill is a Reader in Computer Science Education at the School of Informatics, University of Edinburgh. She is co-chair of the British Computer Society's Scottish Computing Education Committee and represents the BCS in the Royal Society of Edinburgh’s Learned Societies’ Group.
