(Registrieren)

ACM Turing Award Goes to Creator of Influential Innovations in Computer Software Design

Geschrieben am 10-03-2009

New York (ots/PRNewswire) -

- MIT's Liskov, First U.S. Woman Ph.D. in Computer Science,
Pioneered the Standard for Modern Programming Language and Software
Reliability

ACM, the Association for Computing Machinery, has named Barbara
Liskov of the Massachusetts Institute of Technology (MIT) the winner
of the 2008 ACM A.M. Turing Award. The award cites Liskov for her
foundational innovations to designing and building the pervasive
computer system designs that power daily life. Her achievements in
programming language design have made software more reliable and
easier to maintain. They are now the basis of every important
programming language since 1975, including Ada, C++, Java, and C#.
The Turing Award, widely considered the "Nobel Prize in Computing",
is named for the British mathematician Alan M. Turing. The award
carries a US$250,000 prize, with financial support provided by Intel
Corporation and Google Inc.

The first U.S. woman to be awarded a Ph.D. from a computer
science department (in 1968 from Stanford University), Liskov
revolutionized the programming field with groundbreaking research
that underpins virtually every modern computer application for both
consumers and businesses. Her contributions have led to fundamental
changes in building the computer software programs that form the
infrastructure of our information-based society. Her legacy has made
software systems more accessible, reliable, and secure 24/7.

Professor Dame Wendy Hall, ACM's President, said Liskov has
played a distinguished role in the evolution of computer science and
engineering to solve real problems. "Her elegant solutions have
enriched the research community, but they have also had a practical
effect as well," said Dame Wendy. "They have led to the design and
construction of real products that are more reliable than were
believed practical not long ago. In addition to her design features,
she focused on engineering innovations that changed the way people
thought about programming languages and building complex software.
These accomplishments were instrumental in moving concepts out of
academia and into the real world."

Andrew Chien, Vice President in the Corporate Technology Group
and Director of Research of Intel Corporation said that "Barbara
Liskov's work consistently reflects an extraordinary combination of
rigorous problem formulation and sound mathematics; a potent
combination she used to create lasting solutions that are the
foundations of modern software systems." He added, "It was my
pleasure to learn from Professor Liskov as an MIT graduate student,
and it is a continuing pleasure to admire her growing impact."

"Google is delighted to help recognize Professor Liskov for her
research contributions in the areas of data abstraction, modular
architectures, and distributed computing fundamentals," said Alfred
Spector, Vice President of Research and Special Initiatives at Google
Inc. "We are proud to be a sponsor of the ACM Turing Award to
recognize and encourage the research that is essential not only to
computer science, but to all the fields that depend on its continued
advancement."

Advances in Software Design

Liskov's most significant impact stems from her influential
contributions to the use of data abstraction, a valuable method for
organizing complex programs. She was a leader in demonstrating how
data abstraction could be used to make software easier to construct,
modify, and maintain. Many of these ideas were derived from her
experience at MIT in building the VENUS operating system, a small
timesharing system that dramatically lowers the cost of providing
computing and makes it more interactive.

In another exceptional contribution, Liskov designed the CLU
programming language, an object-oriented language incorporating
"clusters" to provide coherent, systematic handling of abstract data
types, which are comprised of a set of data and the set of operations
that can be performed on the data. She and her colleagues at MIT
subsequently developed efficient CLU compiler implementations on
several different machines, an important step in demonstrating the
practicality of her ideas. Data abstraction is now a generally
accepted fundamental method of software engineering that focuses on
data rather than processes, often identified as "modular" or
"object-oriented" programming.

Building on CLU concepts, Liskov followed with Argus, a
distributed programming language. Its novel features led to further
developments in distributed system design that could scale to systems
connected by a network. This achievement laid the groundwork for
modern search engines, which are used by thousands of programmers and
hundreds of millions of users every day, and face the challenges of
concurrent operation, failure, and continually growing scale.

Her most recent research focuses on techniques that enable a
system to continue operating properly in the event of the failure of
some of its components. Her work on practical Byzantine fault
tolerance demonstrated that there were more efficient ways of dealing
with arbitrary (Byzantine) failures than had been previously known.
Her insights have helped build robust, fault-tolerant distributed
systems that are resistant to errors and hacking. This research is
likely to change the way distributed system designers think about
providing reliable service on today's modern, vulnerable Internet.

Background

Barbara Liskov heads the Programming Methodology Group in the
Computer Science and Artificial Intelligence Laboratory at MIT, where
she has conducted research and has been a professor since 1972. In
2008, she was named an Institute Professor, the highest honor awarded
to an MIT faculty member.

A member of the National Academy of Engineering, she is a Fellow
of ACM and of the American Academy of Arts and Sciences. She received
the Society of Women Engineers Achievement Award in 1996, and in
2002, she was named by Discover magazine as one of the 50 most
important women in science. She received the IEEE John von Neumann
medal in 2004. In 2005, she was awarded the title of ETH Honorary
Doctor by the Swiss Federal Institute of Technology Zurich (ETH). In
2008, she received the ACM SIGPLAN Programming Languages Achievement
Award.

The author of numerous publications, she wrote three books,
including "Abstraction and Specification in Program Development" with
John Guttag, which has educated generations of students in how to
write good software. Liskov served as an associate editor for ACM
Transactions on Programming Languages and Systems (TOPLAS) and is a
member of the ACM Special Interest Groups on Programming Languages
(SIGPLAN), Operating Systems (SIGOPS), and Management of Databases
(SIGMOD).

Liskov has also served on the Computer and Information Science
and Engineering (CISE) Advisory Committee of the National Science
Foundation as well as the Computer Science and Telecommunications
Board (CSTB) of the National Research Council. Before joining MIT,
she was a Member of Technical Staff at The Mitre Corporation. A
graduate of the University of California Berkeley with a BA in
mathematics, Liskov earned a Ph.D. at Stanford University, where she
was a graduate research assistant in Artificial Intelligence.

ACM will present the Turing Award at its ACM Awards Banquet on
June 27, in San Diego, CA.

About the ACM A.M. Turing Award

The A.M. Turing Award was named for Alan M. Turing, the British
mathematician who articulated the mathematical foundation and limits
of computing, and who was a key contributor to the Allied
cryptanalysis of the German Enigma cipher during World War II. Since
its inception in 1966, the Turing Award has honored the computer
scientists and engineers who created the systems and underlying
theoretical foundations that have propelled the information
technology industry. For additional information, click on
http://www.acm.org/awards/taward.html

About ACM

ACM, the Association for Computing Machinery www.acm.org, is the
world's largest educational and scientific computing society, uniting
computing educators, researchers and professionals to inspire
dialogue, share resources and address the field's challenges. ACM
strengthens the computing profession's collective voice through
strong leadership, promotion of the highest standards, and
recognition of technical excellence. ACM supports the professional
growth of its members by providing opportunities for life-long
learning, career development, and professional networking.

ots Originaltext: Association for Computing Machinery
Im Internet recherchierbar: http://www.presseportal.de

Contact:
Virginia Gold for the Association for Computing Machinery,
+1-212-626-0505, vgold@acm.org


Kontaktinformationen:

Leider liegen uns zu diesem Artikel keine separaten Kontaktinformationen gespeichert vor.
Am Ende der Pressemitteilung finden Sie meist die Kontaktdaten des Verfassers.

Neu! Bewerten Sie unsere Artikel in der rechten Navigationsleiste und finden
Sie außerdem den meist aufgerufenen Artikel in dieser Rubrik.

Sie suche nach weiteren Pressenachrichten?
Mehr zu diesem Thema finden Sie auf folgender Übersichtsseite. Desweiteren finden Sie dort auch Nachrichten aus anderen Genres.

http://www.bankkaufmann.com/topics.html

Weitere Informationen erhalten Sie per E-Mail unter der Adresse: info@bankkaufmann.com.

@-symbol Internet Media UG (haftungsbeschränkt)
Schulstr. 18
D-91245 Simmelsdorf

E-Mail: media(at)at-symbol.de

190939

weitere Artikel:
  • Schmerzmittel mit Paracetamol ab April teilweise rezeptpflichtig Berlin (ots) - Ab dem 1. April 2009 werden Schmerz- und Fiebermittel mit dem Wirkstoff Paracetamol verschreibungspflichtig, wenn in einer Packung mehr als 10 Gramm Paracetamol enthalten sind. Zäpfchen sind davon nicht betroffen. "Richtig angewendet ist Paracetamol ein empfehlenswertes Schmerz- und Fiebermittel und auch für Kinder geeignet. Die Höchstdosis sollte aber nicht überschritten werden", so Dr. Ulrich Krötsch, Präsident der Bundesapothekerkammer. Erwachsene sollten pro Tag nicht mehr als 4 Gramm Paracetamol einnehmen. Die zulässige mehr...

  • Bundespräsident Köhler: Ärmere Gesellschaft ohne Ehrenamt Bonn (ots) - Bundespräsident Horst Köhler besuchte heute die für den Bevölkerungsschutz zuständigen Bundesbehörden in Bonn und informierte sich über die Leistungspotentiale des Bundesamts für Bevölkerungsschutz und Katastrophenhilfe (BBK) und der Bundesanstalt Technisches Hilfswerk (THW). Die Präsidenten Christoph Unger und Albrecht Broemme empfingen gemeinsam mit Peter Altmaier, Parlamentarischer Staatssekretär beim Bundesminister des Innern, den Bundespräsidenten. Bundespräsident Köhler zeigte sich interessiert an der strategischen mehr...

  • Deutsche Welle Global Media Forum: 50 Kooperationspartner und Galionsfiguren der Internetszene Bonn (ots) - - "Konfliktprävention im Multimedia-Zeitalter" Thema vom 3. bis 5. Juni 2009 im World Conference Center Bonn - Unter den Referenten: Howard Rheingold von der Stanford University - Medienunternehmer, Autor und Journalist Brian Storm - Kommissar für Frieden und Sicherheit der Afrikanischen Union, Ramtane Lamamra Zum zweiten Deutsche Welle Global Media Forum vom 3. bis 5. Juni in Bonn haben bereits zahlreiche prominente Vertreter aus Politik und Medien und von internationalen Organisationen und Institutionen mehr...

  • (Korrektur: NEON-Redaktion gewinnt den Hansel-Mieth-Preis 2009) Hamburg (ots) - Bitte beachten Sie die Korrektur des Datums im letzten Absatz: Die Ehrung der Preisträger findet am 7. Mai 2009 in Fellbach statt. Es folgt der korrigierte Text. Für die Reportage "Die lange weiße Linie" von Autor Roland Schulz und Fotograf Luca Zanetti wird NEON mit dem Hansel-Mieth-Preis 2009 ausgezeichnet. Das Magazin teilt sich die Auszeichnung mit dem Magazin Focus, dessen Reportage "Amerika gnadenlos" des Autors Stefan Scheytt und der Fotografin Cira Moro über zu lebenslanger Haft verurteilte Kinder und Jugendliche mehr...

  • Das kleine Schwarze für die Schwangerschaft - Das Gratis-Bauchband von Seracell ist der Fashion-Trend für Schwangere Rostock (ots) - Die Zeiten in denen sich schwangere Frauen in weite, wallende Gewänder hüllen mussten, sind zum Glück vorbei. Heute zeigt die werdende Mama stolz ihren Babybauch. Die trendigen Bauchbänder von Seracell betonen nicht nur den kugelrunden Babybauch, sondern sind auch superpraktisch: die Lieblings-Tops können auch noch während der Schwangerschaft problemlos getragen werden. Keine einheitliche Umstandsmode, sondern individuelle Outfits mit einem passenden Bauchband als modisches Accessoire. So wird der Babybauch zum Fashion-Statement. mehr...

Mehr zu dem Thema Sonstiges

Der meistgelesene Artikel zu dem Thema:

Sat1.de mit neuem Online-Spiele-Portal Sat1Spiele.de / SevenOne Intermedia baut Bereich Games weiter aus

durchschnittliche Punktzahl: 0
Stimmen: 0

Bitte nehmen Sie sich einen Augenblick Zeit, diesen Artikel zu bewerten:

Exzellent
Sehr gut
gut
normal
schlecht