Biographical Sketch

                       Jeannette M. Wing
                   Computer Science Department
                   Carnegie Mellon University
                   Pittsburgh, PA   15213-3890

Dr. Jeannette M. Wing is the President's Professor of Computer Science
in the Computer Science Department at Carnegie Mellon University.  She
received her S.B. and S.M.  degrees in Electrical Engineering and
Computer Science in 1979 and her Ph.D. degree in Computer Science in
1983, all from the Massachusetts Institute of Technology.  Currently
on leave from CMU, she is the Assistant Director of the Computer and
Information Science and Engineering Directorate at the National
Science Foundation.

Professor Wing's general research interests are in the areas of
specification and verification, concurrent and distributed systems,
programming languages, and software engineering.  Her current interest
is on the foundations of trustworthy computing where by trustworthy
she includes reliability, security, privacy, and usability.  Her
current projects are on specifying and verifying privacy policies.

She has published extensively in top journals and major
conferences and has given nearly 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 is currently on leave from being 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.

Professor Wing has been a member of many advisory boards, including:
the Networking and Information Technology (NITRD) Technical Advisory
Group to the President's Council of Advisors on Science and Tecbnology
(PCAST), the National Academies of Sciences's Computer Science and
Telecommunications Board, the DARPA Information Science and Technology
(ISAT) Board, NSF's CISE Advisory Committee, Microsoft's Trustworthy
Computing Academic Advisory Board, the Intel Research Pittsburgh's
Advisory Board, Dartmouth's Institute for Security Technology Studies
Advisory Committee, and the Idaho National Laboratory and Homeland
Security Strategic Advisory Committee.  She was a Member-at-Large on
ACM Council and served on the ACM Kanellakis Award Committee and the
ACM Karlstrom Outstanding Educator Award Committee.  She was on the
Microsoft New Faculty Fellowship Selection 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.

Administratively at Carnegie Mellon, she served as Head of the
Computer Science Department during 2004-2007, overseeing 90 faculty.
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.  She is a member of
AAAS, ACM, IEEE, Sigma Xi, Phi Beta Kappa, Tau Beta Pi, and Eta Kappa
Nu.  She was elected an ACM Fellow in 1998, IEEE Fellow in 2003, and
AAAS Fellow in 2007.