Jeannette Wing

Jeannette Wing
Name	Jeannette Wing
Birth date	1956
Birth place	Philadelphia, Pennsylvania, United States
Nationality	American
Fields	Computer science
Workplaces	Carnegie Mellon University, Columbia University, Microsoft Research, Carnegie Mellon CyLab, National Science Foundation
Alma mater	Brown University, Harvard University
Known for	Formal methods, type theory, trustworthy computing, "computational thinking"

Jeannette Wing is an American computer scientist and academic leader known for work in formal methods, type theory, and advocacy of "computational thinking". She has held prominent positions at Carnegie Mellon University, Columbia University, Microsoft Research, and the National Science Foundation, and has influenced research and policy across computer science and related fields.

Early life and education

Born in Philadelphia, she completed undergraduate studies at Brown University and earned graduate degrees at Harvard University. During her time at Harvard, she studied under faculty connected to programming languages and formal verification traditions, engaging with communities linked to MIT, Stanford University, and Princeton University. Her education connected her to networks spanning Bell Labs, IBM Research, and the emerging Silicon Valley research institutions.

Academic career and research

She began her academic career on the faculty at Carnegie Mellon University in the Department of Computer Science and later moved to Columbia University as a professor. Her research spans programming languages, specification languages, concurrency theory, and security topics, intersecting with work at Microsoft Research, Bell Labs Research, and collaborations with researchers from University of California, Berkeley, University of Illinois Urbana–Champaign, and Cornell University. She has published and collaborated alongside scholars associated with ACM, IEEE, SIGPLAN, POPL, and LICS venues. Her research influenced projects and tools developed at SRI International, NASA Ames Research Center, and Jet Propulsion Laboratory.

Professional leadership and administration

She served as the head of Microsoft Research's [research groups] and later as Assistant Director for Computer and Information Science and Engineering at the National Science Foundation. At the National Science Foundation, she oversaw programs interacting with DARPA, Department of Defense, and agencies such as the National Institutes of Health on interdisciplinary computing initiatives. As an administrator she engaged with university leaders at MIT, Harvard University, Yale University, and University of Pennsylvania and shaped partnerships with industry players including Google, Amazon, Facebook, Intel, and IBM. Her leadership connected research labs such as Xerox PARC and consortia like the Computing Research Association.

Contributions to computer science and formal methods

Her technical contributions include work on program specification, type systems, and compositional reasoning for concurrent and distributed systems, influencing formal methods communities at CAV, FM, and TACAS. She promoted the use of specifications in software engineering practices adopted in projects at Lockheed Martin, Boeing, and Siemens. She championed "computational thinking" as a concept bridging K–12 education initiatives with higher education and workforce development, connecting to policy discussions involving National Academy of Sciences, National Academy of Engineering, and U.S. Congress briefings. Her advocacy affected curricula at institutions such as Carnegie Mellon University School of Computer Science, Stanford School of Engineering, and programs sponsored by Google.org and the Gates Foundation.

Awards and honors

Her honors include fellowships and awards from professional societies such as ACM, IEEE, and recognition by academies including the American Academy of Arts and Sciences and the National Academy of Engineering. She has received named lectureships, honorary degrees from universities like Brown University and Dartmouth College, and service awards from organizations such as the Computing Research Association and Association for Women in Computing. She has been listed among influential figures in technology by outlets profiling leaders connected to Fortune 500 companies and governmental advisory panels tied to White House initiatives.

Personal life and public engagement

Beyond academia, she has served on advisory boards for corporations and non-profits, engaging with entities such as Microsoft Corporation boards, Carnegie Corporation, and philanthropic initiatives involving the Gates Foundation and MacArthur Foundation. She has participated in public dialogues with leaders from Harvard Kennedy School, Brookings Institution, and Council on Foreign Relations about technology policy, ethics, and workforce development. She has mentored students and professionals with ties to programs at Girls Who Code, National Science Teachers Association, and university outreach linked to Smithsonian Institution exhibitions.

Category:Living people Category:American computer scientists Category:Women computer scientists Category:Carnegie Mellon University faculty Category:Columbia University faculty Category:Harvard University alumni Category:Brown University alumni