December 17th, 11am-12:30pm
December 17, 2020 12:30 PM
Virtual Meeting
Talk Abstract: Research in programming methodology led to the development of the principles and methods that underlie how the implementations of modern software systems are designed and organized. At the center of this work are the notions of abstraction and modularity. These ideas are related: design is the process of inventing and identifying abstractions, which become the modules that make up the implementation. This talk will discuss our current understanding of abstraction and modularity and the research that got us to where we are today.
Bio: Barbara Liskov is an Institute Professor at MIT. Her research interests include distributed and parallel systems, programming methodology, and programming languages. Liskov is a member of the National Academy of Engineering, the National Academy of Sciences, the National Inventors Hall of Fame, and the Massachusetts Academy of Sciences. 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 IEEE Von Neumann medal in 2004, the IEEE Pioneer Award in 2018, a lifetime achievement award from the Society of Women Engineers in 1996, the ACM SIGPLAN Programming Language Achievement Award in 2008, the ACM Sigops Hall of fame award in 2012, and the Stanford Hero of Engineering award in 2019.