Biographical Sketch

                       Jeannette M. Wing

Jeannette M. Wing is the Executive Vice President for Research and
Professor of Computer Science at Columbia University. She joined
Columbia in 2017 as the inaugural Avanessians Director of the Data
Science Institute. From 2013 to 2017, she was a Corporate Vice
President of Microsoft Research.  She is Adjunct Professor of Computer
Science at Carnegie Mellon where she twice served as the Head of the
Computer Science Department and had been on the faculty since 1985.
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., S.M., and Ph.D. degrees in
Computer Science, all from the Massachusetts Institute of Technology.
She holds an honorary doctorate of technology from Linkoping
University, Sweden.


Professor Wing's current research focus is on trustworthy
AI.  Her general research interests are in the areas of trustworthy
computing, security and privacy, specification and verification,
concurrent and distributed systems, programming languages, and
software engineering. She is known for her work on linearizability,
behavioral subtyping, attack graphs, and privacy-compliance checkers.
Her 2006 seminal essay, titled "Computational Thinking," is credited
with helping to establish the centrality of computer science to
problem-solving in fields where previously it had not been embraced.

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

As Avanessians Director of the Data Science Institute at Columbia, she
promoted the ethos of "Data for Good" through DSI's mission: to
advance the state-of-the-art in data science; to transform all
disciplines, professions, and sectors through the application of data
science; and to ensure the responsible use of data to benefit society.
She grew the Institute to over 360 faculty affiliates, collaborated
with 17 schools, colleges, and institues across the university, and
built partnerships with industry, government labs, nonprofis, New York
City agencies, and community organizations.  She created new research
and educational programs to support the inherent multidisciplinary
field of data science.

As CVP of Microsoft Research, she led all of Microsoft's basic
research labs worldwide: Redmond, Cambridge (MA), New York City,
Cambridge (UK), and Bangalore.  During her first year at Microsoft,
she also led the MSR Asia lab in Beijing and MSR Silicon Valley.  For
MSR, she created the Expeditions program to promote multi-disciplinary
collaboration research.  She focused research efforts in AI, systems,
security, and biology and healthcare.  She was instrumental in hiring
researchers in economics and social science to Microsoft.  With MSR
researchers, she worked closely with Azure to bring secure computation
to the company's cloud, now called Azure Confidential Computing.  She
also raised the awareness of privacy-preserving technologies
throughout the company.  As Microsoft elevated the importance and
pervasiveness of AI, she helped senior leadership in its creation of
the AI&R division and MSR AI.  In her own research, she worked with
Microsoft and CMU researchers to build a privacy-compliance checking
tool and with Microsoft colleagues on the notion of inverse privacy.

At NSF, Wing helped define the Cyber-Enabled Discovey and Innovation
Program, bringing computational thinking to all science and
engineering disciplines.  She created the Expeditions in Computing
program for the CISE community; and new programs joint with other
directorates in cyber-physical systems, social sciences and computing,
economics and computing, health and well-being, and educational
technologies.  Under her leadership, she created the Computing
Community Consortium (CCC) and nurtured the Global Environment for
Networking Innovations (GENI) initiative.  She worked with other
agencies to kickstart national efforts in quantum information science,
robotics, and Big Data; and with the K-12 education community, the
development of a new Computer Science Advanced Placement course and
exam.  She introduced the NSF community to cloud computing through
joint programs with Google, IBM, and Microsoft.  In President Obama's
first term, she worked with the administration to help promote
broadband access to everyone in the US.

While at CMU, she did work jointly with Maurice Herlihy on
linearizability, a correctness condition for concurrent objecs; with
Barbara Liskov, on a behavioral notion of subtyping; with Oleg
Sheyner, on extending standard model checking algorithms to generate
attack graphs for discovering security vulnerabilities; and with
Anupam Datta and Michael Tshantz on formalzing the notions of use and
purpose for privacy policies.  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.

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 is currently a member of the American Academy for Arts and
Sciences Board of Directors and Council; Computing Research
Association Board; American Association of Universities, Senior
Research Officers Steering Committee; the Advisory Board for the
Association for Women in Mathematics; the Chan-Zuckerberg New York
Biohub Steeering Committee; and the Empire AI, Inc. Board of
Directors.  She has been chair and/or a member of many other academic,
government, industry, and professional society advisory 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 (former chair), ACM Council, Computing
Research Association Board, DARPA ISAT (former chair), American
Association for the Advancement of Science Section on Information,
Computing and Communications (former chair), NSF's CISE Advisory
Committee, the National Library of Medicine Blue Ribbon Panel,
Institute for Pure and Applied Mathematics, New York City Task force
on Automated Decision Making, 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
has served on the American Academy of Arts and Sciences membership
panel Class 1 Section 6, the ACM Infosys Award Committee, 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 inaugural ACM-IMS Foundations of Data
Science Conference, the Technical Symposium of Formal Methods'99, the
UW-MSR-CMU 2003 Software Security Summer Institute, and the First
International Symposium on Secure Software Engineering.  She served as
co-chair of NITRD from 2007-2010.  She organized the first academic
Data Science Leadership Summit, sponsored by the Moore Foundation,
NSF, and the Sloan Foundation, which has led to the creation of the
Academic Data Science Allicance.

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 and the ACM
Distinguished Service Award in 2014.  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),
the Institute of Electrical and Electronic Engineers (IEEE),and the
National Academy of Innovators.  She is a member of the National
Academy of Engineering and the MIT Corporation.