Karen Spärck Jones Lecture 2013

Karen Spärck Jones Lecture 2013

by Academy Admin

Professor Barbara Liskov presented the 3rd Karen Spärck Jones Lecture, honouring women in computing research. This event was sponsorsed by IBM and BCS and was held at the BCS London office.

Professor Barbara Liskov - The power of abstraction

YouTube has recently withdrawn support for Internet Explorer 7. To view the videos below you will need to use Internet Explorer 8 or above, or an alternative browser.

Part 1

Part 2

Part 3

Part 4 Q&A

'The power of abstraction' synposis

Abstraction is at the centre of much work in Computer Science. It encompasses finding the right interface for a system as well as finding an effective design for a system implementation. Furthermore, abstraction is the basis for program construction, allowing programs to be built in a modular fashion. This talk will discuss how the abstraction mechanisms we use today came to be, how they are supported in programming languages, and some possible areas for future research.

About the speaker

Barbara Liskov is an Institute Professor at MIT and also Associate Provost for Faculty Equity. She is a member of the National Academy of Engineering, the National Academy of Sciences, and the National Inventors Hall of Fame. She is a fellow of the American Academy of Arts and Sciences and the Association for Computing Machinery, and a charter fellow of the National Academy of Inventors. She received the ACM Turing Award in 2009, the ACM SIGPLAN Programming Language Achievement Award in 2008, the IEEE Von Neumann medal in 2004, a lifetime achievement award from the Society of Women Engineers in 1996, and in 2003 was named one of the 50 most important women in science by Discover Magazine. Her research interests include distributed systems, replication algorithms to provide fault-tolerance, programming methodology, and programming languages. Her current research projects include Byzantine-fault-tolerant storage systems and online storage systems that provide confidentiality and integrity for the stored information.