Irene Greif

Irene Greif is an American computer scientist and a founder of the field of computer-supported cooperative work (CSCW).wikipedia
26 Related Articles

Computer-supported cooperative work

computer supported cooperative workCSCWComputer Supported Cooperative Work (CSCW)
Irene Greif is an American computer scientist and a founder of the field of computer-supported cooperative work (CSCW).
The term computer-supported cooperative work (CSCW) was first coined by Irene Greif and Paul M. Cashman in 1984, at a workshop attended by individuals interested in using technology to support people in their work.

Actor model

actorsactorActor programming
In 1975, Greif became the first woman to earn a Ph.D. in computer science from MIT; in her dissertation of that year, she published the first operational actor model.
Following Hewitt, Bishop, and Steiger's 1973 publication, Irene Greif developed an operational semantics for the actor model as part of her doctoral research.

Hunter College High School

Hunter High SchoolHunterHunter College
She attended Hunter College High School before earning her undergraduate and graduate degrees from MIT.

List of members of the National Academy of Engineering (Computer science)

membermember of the National Academy of Engineeringmembers of the National Academy of Engineering (Computer science)
Greif is a Fellow of the American Academy of Arts and Sciences (AAAS) and the Association for Computing Machinery (ACM); she is also a member of the National Academy of Engineering.

Thomas J. Watson Research Center

IBM Thomas J. Watson Research CenterIBM T.J. Watson Research CenterIBM Watson Research Center
After Lotus was acquired by IBM, she became an IBM Fellow and served as director of collaborative user experience in the company's Thomas J. Watson Research Center.
Notable staff have included the mathematicians Benoît Mandelbrot, Ralph E. Gomory, Shmuel Winograd, Alan Hoffman, Don Coppersmith, Mike Shub, Gregory Chaitin, the inventor Robert Dennard, roboticist Matthew T. Mason, author Clifford A. Pickover, computer scientists Frances E. Allen, John Cocke, Stuart Feldman, Ken Iverson, Irene Greif, Steven Rohall, Li-Te Cheng and Mark N. Wegman, Barry Appelman, Wietse Venema, the 1990 Economics Nobel Prize winner, Harry Markowitz, and physicists Llewellyn Thomas, Rolf Landauer, Charles H. Bennett, Elliott H. Lieb, J. B. Gunn, Leroy Chang, 1973 Physics Nobel Prize winner, Leo Esaki, Solomon Assefa and Jay Gambetta.

IBM Fellow

After Lotus was acquired by IBM, she became an IBM Fellow and served as director of collaborative user experience in the company's Thomas J. Watson Research Center.

List of Women in Technology International Hall of Fame inductees

Hall of FameWomen in Technology International Hall of FameWomen in Technology International Hall of Fame inductee
Her awards include Women in Technology International Hall of Fame inductee (2000), Women Entrepreneurs in Science and Technology Leadership Award (2008), and ABIE Award for Technical Leadership from the Anita Borg Institute (2012).

Albert R. Meyer

A. R. MeyerAlbert MeyerMeyer
She is married to Albert R. Meyer, the Hitachi America Professor of Computer Science at MIT.
He is married to the computer scientist, Irene Greif.

Computer scientist

computer science professioncomputer-scientist
Irene Greif is an American computer scientist and a founder of the field of computer-supported cooperative work (CSCW).

Massachusetts Institute of Technology

MITM.I.T.Massachusetts Institute of Technology (MIT)
She was the first woman to earn a Ph.D. in computer science from the Massachusetts Institute of Technology.

New York City

New YorkNew York, New YorkNew York City, New York
Greif's mother was an accountant, and a native of New York City.

University of Washington

WashingtonUniversity of Washington, SeattleUniversity of Washington in Seattle
She was a professor of computer science at the University of Washington before returning to MIT as a professor of electrical engineering and computer science (1977–87).

Cambridge, Massachusetts

CambridgeCambridge, MACambridge, Mass.
In 1984, Greif and Paul Cashman coined the term "Computer Supported Cooperative" and the initials, CSCW, at an interdisciplinary workshop in Cambridge, Massachusetts.

Lotus Software

LotusLotus Development CorporationLotus Development
Preferring research over teaching, she left academia in 1987 to join Lotus, where she directed its Product Design Group, and created the Lotus Research group in 1992.

IBM

International Business MachinesIBM CorporationInternational Business Machines Corporation
After Lotus was acquired by IBM, she became an IBM Fellow and served as director of collaborative user experience in the company's Thomas J. Watson Research Center.

User experience

UXexperienceUser Experience (UX)
After Lotus was acquired by IBM, she became an IBM Fellow and served as director of collaborative user experience in the company's Thomas J. Watson Research Center.

American Academy of Arts and Sciences

American Academy of Arts & SciencesFellow of the American Academy of Arts and SciencesThe American Academy of Arts and Sciences
Greif is a Fellow of the American Academy of Arts and Sciences (AAAS) and the Association for Computing Machinery (ACM); she is also a member of the National Academy of Engineering.

Association for Computing Machinery

ACMAssociation for Computing Machinery (ACM)ACM Press
Greif is a Fellow of the American Academy of Arts and Sciences (AAAS) and the Association for Computing Machinery (ACM); she is also a member of the National Academy of Engineering.

AnitaB.org

Anita Borg InstituteAnita Borg Institute for Women and TechnologyABIE Award
Her awards include Women in Technology International Hall of Fame inductee (2000), Women Entrepreneurs in Science and Technology Leadership Award (2008), and ABIE Award for Technical Leadership from the Anita Borg Institute (2012).

Newton Centre, Massachusetts

Newton CentreNewton Center, MassachusettsNewton Center
Now living in Newton Centre, Massachusetts, Greif retired from IBM in 2013.

Carl Hewitt

Hewitt, Carl
Among the doctoral students that Hewitt supervised during his time at MIT are Gul Agha, Henry Baker, William Clinger, Irene Greif, and Akinori Yonezawa.

Actor model and process calculi

issues with getting messages from multiple channelsmigrationSynchronous channels in process calculi
Will Clinger (building on the work of Irene Greif [1975], Gordon Plotkin [1976], Henry Baker [1978], Michael Smyth [1978], and Francez, Hoare, Lehmann, and de Roever [1979]) published the first satisfactory mathematical denotational theory of the Actor model using domain theory in his dissertation in 1981.

History of the Actor model

Actor model early historyEvent orderings versus global statethe actor model
Finally eight years after the first Actor publication, Will Clinger (building on the work of Irene Greif 1975, Gordon Plotkin 1976, Michael Smyth 1978, Henry Baker 1978, Francez, Hoare, Lehmann, and de Roever 1979, and Milne and Milnor 1979) published the first satisfactory mathematical denotational model incorporating unbounded nondeterminism using domain theory in his dissertation in 1981 (see Clinger's model).