Jeannette M. Wing

Corporate Vice President, Microsoft Research

Jeannette M. Wing

Corporate Vice President, Microsoft Research

Biography

Dr. Jeannette M. Wing is Corporate Vice President, Microsoft Research, with oversight of the organization’s core research laboratories around the world and Microsoft Outreach. Microsoft Research Labs advances the state of art in computing science, and rapidly transfers technologies into Microsoft products.

Dr. Wing joined Microsoft Research in January 2013 after holding key positions in academia and government, most recently at Carnegie Mellon University and the National Science Foundation (NSF).

From 2007 to 2010, Wing served as assistant director of the Computer and Information Science and Engineering Directorate at the NSF, where she led the directorate that funds academic computer science research in the United States. In this capacity, she worked with NSF staff to set funding priorities for the academic science and engineering research community, create new programs, and represent the nation’s computer science community. Wing has served twice as head of the Department of Computer Science at Carnegie Mellon University: before her term at NSF and again upon her return to Carnegie Mellon. She was also associate dean for Academic Affairs at Carnegie Mellon for five years, overseeing the educational programs offered by the School of Computer Science.

Her areas of expertise are in trustworthy computing, formal methods, concurrent and distributed systems, programming languages, and software engineering. Her research contributions include work on the Larch family of specification languages; programming language support for atomic objects in distributed transactions; with Dr. Maurice Herlihy, the notion of linearizability, a correctness condition for concurrent objects; and with Dr. Barbara Liskov, a semantics for behavioral subtyping. Her contributions in security and privacy include work on attack graphs and attack surfaces, work on formalizing privacy policies for automated compliance checking, and work on trust in networks of humans and computers.