Jeannette Wing
Jeannette M. Wing (* 4. December 1956 ) is a professor of computer science (English. Computer Science ) at Carnegie Mellon University . In 1979 she obtained a bachelor's and master's degree in electrical engineering and computer science at MIT , where she received a Ph.D. in 1983. in computer science.
She is known, among other things, for working out Liskov's substitution principle together with Barbara Liskov . Her particular research interest was in the areas of specification and verification , concurrent and distributed systems, and programming languages . She is currently working on techniques and tools for analyzing software security; in this area she worked for one year at Microsoft . In 2010 she was elected to the American Academy of Arts and Sciences .
Web links
- Jeannette Wings Homepage (English)
| personal data | |
|---|---|
| SURNAME | Wing, Jeannette |
| ALTERNATIVE NAMES | Wing, Jeannette M. |
| BRIEF DESCRIPTION | American computer scientist, professor of computer science |
| DATE OF BIRTH | 4th December 1956 |