• go to Leslie G Valiant's profile page
  • go to Edmund Clarke's profile page
  • go to Richard Karp's profile page
  • go to Michael O. Rabin 's profile page
  • go to John McCarthy's profile page
  • go to C. Antony R. Hoare 's profile page
  • go to Douglas Engelbart's profile page
  • go to Yann LeCun's profile page
  • go to Ivan Sutherland's profile page
  • go to Robert E Kahn's profile page
  • go to Edward A Feigenbaum's profile page
  • go to A. J. Perlis 's profile page
  • go to Ole-Johan Dahl 's profile page
  • go to Robert W. Floyd's profile page
  • go to Stephen A Cook's profile page
  • go to Michael Stonebraker's profile page
  • go to Martin Hellman 's profile page
  • go to Kenneth E. Iverson 's profile page
  • go to Marvin Minsky 's profile page
  • go to A J Milner 's profile page
  • go to Dr. Jack Dongarra's profile page
  • go to Peter Naur's profile page
  • go to Kristen Nygaard 's profile page
  • go to John L Hennessy's profile page
A.M. TURING AWARD LAUREATES BY...

BIRTH:

November 7, 1939, California.

EDUCATION:

BSc in Mathematics, University of California, Berkeley (1961); PhD in computer science, Stanford University (1968)

EXPERIENCE:

Mitre Corporation, (1968-1972); MIT (1972 onwards, 2001-2004 as Associate Department Head and later as Associate Provost)

HONORS AND AWARDS:

Member, National Academy of Engineering (1989); Fellow, American Academy of Arts and Sciences (1992); Fellow, ACM 1(996); Society of Women Engineers Achievement Award (1996); IEEE John Von Neumann medal (2004); MIT Institute Professor (2008); ACM SIGPLAN Programming Languages Lifetime Achievement Award (2008); ACM SIGSOFT Impact Paper Award (2008); ACM A. M. Turing Award (2009); CMU Katayanagi Prize for Research Excellence in Computer Science (2011).
Honorary Doctorates: ETH, Zurich, Switzerland (2005); Northwestern University, Chicago (2011); University of Lugano, Switzerland (2011).
 

Barbara Liskov DL Author Profile link

United States – 2008
CITATION

For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing.

Barbara Liskov, née Barbara Jane Huberman, was born on November 7, 1939, in California. She earned her BA in mathematics at the University of California, Berkeley in 1961. Rather than go directly to graduate school, she took a job at the Mitre Corporation where she learned that she was a natural at computer programming. After a year at Mitre, she moved to Harvard to work on computer translation of human languages.

Returning to California to do graduate work at Stanford, she was given financial support in John McCarthy’s lab partly because her earlier work on natural language translation was in the general area of artificial intelligence. In 1968 she became one of the first women in the United States to be awarded a computer science PhD. Her thesis on chess end-games was supervised by John McCarthy.

After receiving her PhD, Barbara married Nathan Liskov and moved back to the Boston area to work at the Mitre Corporation in Bedford, MA on computer design and operating systems. Using an Interdata 3 computer that had the ability to change the instruction set via microcode, she created the “Venus Computer” tailored to supporting the construction of complex software. The Venus operating system was a small timesharing system for the Venus machine used to experiment with how different architectures helped or hindered this process. The Venus system supported 16 teletypes and each user was connected to a virtual machine so that major errors would not compromise the entire system, only the virtual machine for that user.

Liskov describes the influence of Algol on her partitioning of variable scope for the Venus operating system.

In 1971, shortly after finishing her experiments with Venus and presenting a conference paper on the topic, Liskov was urged by another attendee to consider a position at MIT. She left Mitre and joined the MIT faculty as a professor in the Laboratory for Computer Science. Building on her experience at the Mitre Corporation, her research has focused on creating more reliable computer systems.

At MIT she led the design and implementation of the CLU programming language, which emphasized the notions of modular programming, data abstraction, and polymorphism. These concepts are a foundation of object-oriented programming used in modern computer languages such as Java and C#, although many other features of modern object oriented programming are missing from this early language.

Liskov describes her creation of the CLU programming language and explains some of its innovative features.

Her MIT group also created the Argus language, which extended the ideas of CLU to ease implementation of programs distributed over a network, including support for nested transactions. An example of such a distributed program might be a network based banking system. Argus provided object abstractions called “guardians” that encapsulate related procedures. As an experimental language, Argus influenced others developers but was never widely adopted or used for deployed networked applications.

Liskov describes her introduction of the concept of “data abstraction.”

Liskov's subsequent work has mainly been in the area of distributed systems, which use several computers connected by a network. Her research has covered many aspects of operating systems and computation, including important work on object-oriented database systems, garbage collection, caching, persistence, recovery, fault tolerance, security, decentralized information flow, modular upgrading of distributed systems, geographic routing, and practical Byzantine fault tolerance. Many of these, like Byzantine fault tolerance, deal with situations where a complex system fails in arbitrary ways. Liskov developed methods to allow correct operation even when some components are unreliable.

Liskov describes the Liskov Substitution Principle.

With Jeannette Wing she developed a new notion of subtyping, known as the Liskov substitution principle. Her contributions have influenced advanced system developments and set a standard for clarity and usefulness.

Liskov is currently the Ford Professor of Engineering at MIT. She leads the Programming Methodology Group at MIT, with a current research focus in Byzantine fault tolerance and distributed computing. She became a full professor at MIT in 1980. She served as the Associate Head for Computer Science from 2001 to 2004, and in 2007 was appointed Associate Provost for Faculty Equity. In 2008, MIT named her an Institute Professor, the highest honor awarded to an MIT faculty member.

"Barbara is revered in the MIT community for her role as scholar, mentor and leader," said MIT President Susan Hockfield. "Her pioneering research has made her one of the world's leading
authorities on computer language and system design. In addition to her seminal scholarly contributions, Barbara has served MIT with great wisdom and judgment in several administrative roles, most recently as Associate Provost for Faculty Equity."

She has supervised the research programs of more than twenty PhD students and large numbers of MSc students.

Her son Moses Liskov was awarded a PhD in computer science by MIT in 2004, and is now a professor of computer science at the College of William and Mary.

Web sites

Professor Liskov's home page,
http://www.pmg.csail.mit.edu/~liskov/
Biography of Prof. Liskov by Prof. John Guttag, in a book about MIT's EECS department,
http://www.eecs.mit.edu/spotlights/liskov_jvg-bio.html
Article on Professor Liskov in Technology Review (MIT),
http://www.technologyreview.com/article/24108/page1/

Author: Tom van Vleck