Barbara Liskov (born November 7, 1939 as Barbara Jane Huberman) is an American computer scientist [2] who is an Institute Professor at the Massachusetts Institute of Technology and Ford Professor of Engineering in its School of Engineering's electrical engineering and computer science department. Programmer, language translation project Harvard University, Cambridge, 1962-1963., university professor The Java programming language is used for the book's examples. Liskov is a member of the National Academy of Engineering, the National Academy … Assistant professor, department electrical engineering and computer science Massachusetts Institute of Technology, Cambridge, Massachusetts, 1972—1976, associate professor, department electrical engineering and computer science, 1976—1980, professor, department electrical engineering and computer science, since 1980, associate head for computer science, 2001—2004, Nippon Electric Corporation professor, software science and engineering, 1986—1997, Ford Professor Engineering, 1997—2008, associate provost for faculty equity, since 2007, Institute Professor, Department Electrical Engineering and Computer Science, since 2008, head, computer science and artificial intelligence laboratory programming methodology group. Defines the Liskov Substitution Principle for correct subtyping that preserves safety properties. CLU and Argus would contribute to languages like Ada, Java, C++, and C#, which are in turn widely used to write software applications for personal computers, the Internet, and a wide range of financial, medical, consumer, and business applications. Back to Inductee Search. Named one of 50 Most Important Women in Science, Discover Magazine, 2002, Top 100 Women in Computing, Open Computing Magazine; recipient Society Women Engineers' Achievement award, 1996. Barbara Liskov Professor, Massachusetts ... Barbara was one of the first women in the United States to receive a Ph.D. from a computer science department. Both audiences will acquire a solid foundation for object-oriented program design and component-based software development from this methodology. Indeed, the author treats data abstraction as the central paradigm in object-oriented program design and implementation. Lecturer in field. Barbara Huberman Liskov, American software engineering educator. en) Barbara Liskov. in mathematics from the University of California, Berkeley and her Ph.D. in computer science from Stanford. Abstraction and Specification in Program Development is included in the MIT Electrical Engineering and Computer Science series. Applications programmer Mitre Corporation, Bedford, Massachusetts, 1961-1962, member technical staff, computer science Research and Development, 1968-1972. There are many examples of abstractions throughout the text, and each chapter ends with pertinent references and exercises. However, the techniques presented are language independent, and an introduction to key Java concepts is included for programmers who may not be familiar with the language. Her research interests include distributed and parallel systems, programming methodology, and programming languages. src="" alt="" class="gallery-slider__content__img" height="". Achievements include being the first United States woman to be awarded a Doctor of Philosophy in computer science. src="" alt="" class="gallery-slider__content__img" height="", data-src="/web/show-photo.jpg?id=946890&cache=false" Graduate research assistant in artificial intelligence Stanford University, Palo Alto, California, 1963-1968. Consultant on computer related issues for Bolt, Beranek, Newman, Candence, Digital Equipment Corporation, Hewlett-Packard, Intermetrics, NCR, Prime Computer, Cisco Systems. Its emphasis is on modular program construction: how to get the modules right and how to organize a program as a collection of modules. I am a professor of computer science at the Massachusetts Institute of Technology (MIT). Barbara Liskov; Ask me a question. Born November 7, 1939 Barbara Liskov is a pioneer in the design of computer programming languages, helping to make computer programs more reliable, secure, and easy to use.