Biographical Sketch

                       Jeannette M. Wing

Jeannette M. Wing is Vice President, Head of Microsoft Research
International, in charge of labs in Bangalore, India, Beijing, China,
and Cambridge, UK.  She is on leave from Carnegie Mellon University,
where she is President's Professor of Computer Science and twice
served as the Head of the Computer Science Department.  From 2007-2010
she was the Assistant Director of the Computer and Information Science
and Engineering Directorate at the National Science Foundation.  She
received her S.B. and S.M.  degrees in Computer Science and
Engineering in 1979 and her Ph.D. degree in Computer Science in 1983,
all from the Massachusetts Institute of Technology.

Professor Wing's general research interests are in the areas of
trustworthy computing, specification and verification, concurrent and
distributed systems, programming languages, and software engineering.
Her current interests are in the foundations of security and privacy.

She has published extensively in top journals and major
conferences and has given over 300 invited, keynote, and distinguished
lectures.   She was or is on the editorial board of twelve journals,
including the Journal of the ACM and the Communications of the ACM.

She was the Director of the Center for Computational Thinking and the
Specification and Verification Center at Carnegie Mellon.  She has
also directed or co-directed many other research projects: the OASIS
Project used model checking and reliability modeling to analyze system
survivability; the TinkerTeach Project provided an internationally and
widely used type conversion service for Web users; the Calder Project
developed a new automated proof technique, called theory generation,
for reasoning about security protocols; the Venari Project introduced
the idea of using specifications as search keys for object
repositories and implemented runtime extensions in Standard ML for
concurrent, multi-threaded transactions; the Avalon Project built
language extensions to C++ for transaction-based distributed
computing; and the Miro Project built tools for the visual
specification of file system security.  While a graduate student at
MIT she was one of the original participants of the Larch Project; her
main contribution to Larch has been in the design of Larch interface
specification languages.

She is currently Vice Chair of the DARPA Information Science and
Technology (ISAT) Board, and is on the ACM Infosys Award Committee and
the Microsoft New Faculty Fellowship Selection Committee.  She has
been a member of many industry, government, and professional society
boards, including: Networking and Information Technology (NITRD)
Technical Advisory Group to the President's Council of Advisors on
Science and Technology (PCAST), National Academies of Sciences'
Computer Science and Telecommunications Board, ACM Council, Computing
Research Association Board, DARPA ISAT, NSF's CISE Advisory Committee,
Microsoft Trustworthy Computing Academic Advisory Board, General
Electric Academic Software Advisory Panel, Intel Research
Pittsburgh's Advisory Board, Dartmouth's Institute for Security
Technology Studies Advisory Committee, and Idaho National
Laboratory and Homeland Security Strategic Advisory Committee.  She
was served on the ACM Kanellakis Award Committee, the ACM Karlstrom
Outstanding Educator Award Committee, and the Sloan Research
Fellowships Program Committee.  She was the co-chair of the Technical
Symposium of Formal Methods'99, co-organizer of the UW-MSR-CMU 2003
Software Security Summer Institute, and co-chair of the First
International Symposium on Secure Software Engineering.  She served as
co-chair of NITRD from 2007-2010.

Administratively at Carnegie Mellon, she served as Head of the
Computer Science Department, overseeing 90 faculty, from 2004-2007 and
2010-2012.  She was Associate Dean for Academic Affairs for five
years, overseeing the operations of the educational programs offered
by the School of Computer Science, including at the time: ten doctoral
programs or specializations, ten master's programs, and the bachelor's
program.  She also served as Associate Department Head for nine years,
running the Ph.D. Program in Computer Science.

She was on the Computer Science faculty at the University of Southern
California and has worked at Bell Laboratories, USC/Information
Sciences Institute, and Xerox Palo Alto Research Laboratories.  She
spent sabbaticals at MIT in 1992 and at Microsoft Research 2002-2003.
She has consulted for Digital Equipment Corporation, the Mellon
Institute (Carnegie Mellon Research Institute), System Development
Corporation, and the Jet Propulsion Laboratory.

Professor Wing received the CRA Distinguished Service Award in 2011.
She is a member of Sigma Xi, Phi Beta Kappa, Tau Beta Pi, and Eta
Kappa Nu.  She is a Fellow of the American Academy of Arts and
Sciences, American Association for the Advancement of Science, the
Association for Computing Machinery (ACM), and the Institute of
Electrical and Electronic Engineers (IEEE).