Jeannette M. Wing

President's Professor of Computer Science, Computer Science Department, Carnegie Mellon University (on leave)

Contact Information at MSR

Address: One Microsoft Way, Microsoft Research, Redmond, WA 98052
Phone: 425-706-4459 (office) 425-786-6017 (cell)
Email: wing@microsoft.com

Contact Information at CMU

Address: Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213
Email: wing@cs.cmu.edu

General Remarks about Computing

A Vision for the 21st Century: Computational Thinking, CACM vol. 49, no. 3, March 2006, pp. 33-35. Translations: Chinese (Chinese blogged). French. Spanish. Talk: Computational Thinking and Thinking About Computing.

Scientific Questions in Computing Our field's drivers come from science, technology, and society. Here is a start of a list of scientific questions in computing. Five Deep Questions in Computing, CACM vol. 51, no. 1, January 2008, pp. 58-60. Talk: Computational Thinking and Thinking About Computing.

PCAST Presentation. President's Council of Advisors for Science and Technology, Washington, DC, September 2, 2010. pptx, pdf. Click through the powerpoint for builds and read Notes pages for transcript.

Research

Publications

Areas of Interest: Foundations of trustworthy computing, especially security and privacy; software specification and verification; concurrent and distributed systems; programming languages; programming methodology.

Projects

  • Center for Computational Thinking. Sponsored by Microsoft Research.
  • Specification and Verification Center: Specification and verification tools, languages, and methods for hardware and software systems. Co-PIs: Ed Clarke, David Garlan, Bruce Krogh, Reid Simmons. Sponsored by the Army Research Office (David Hislop, program manager), National Science Foundation, and NASA/Ames.
  • Foundations of Privacy
  • Purpose Restrictions in Privacy Policies, with Michael Tschantz and Anupam Datta
  • Science of Security
  • Compositional Security, with Limin Jia and Anupam Datta
  • Trust in Networks of Humans and Computers, with Virgil Gligor
  • Past Projects
  • Students
  • Former Ph.D. and M.S. Students, Postdocs, and Visitors

    Teaching

    Fall 2012: 15-150: Functional Programming
    Spring 2011: 15-895: Privacy Research Seminar
    Fall 2005:17-651: Models of Software Systems
    Spring 2002: 15-212 Principles of Programming
    Fall 1998: 15-827 Security and Cryptography

    Service and Administration

    Editorial Boards
  • Journal of the ACM
  • Communications of the ACM
  • Formal Aspects of Computing (North American Editor)
  • Formal Methods in System Design
  • International Journal of Software and Informatics
  • Journal of Information Science and Engineering
  • Software Tools for Technology Transfer
  • Advisory Committees
  • DARPA ISAT vice chair, 2012-.
  • Past Administrative and Service Positions
  • Department Head, Computer Science Department, 2004-2007, 2010-2012.
  • Computer and Information Science and Engineering Directorate, National Science Foundation, Assistant Director, 2007-2010.
  • Associate Dean for Academic Affairs, School of Computer Science.
  • Associate Department Head for the Ph.D. Program, Computer Science Department.
  • SCS Ph.D. Programs. A summary table of all our programs' requirements and transfer policies..
  • My annual Emigration Course talk "Tips on the Job Interview Process"
  • Selected Past Service Activities
  • Computing Research Association Board.
  • The National Academies: Computer Science and Telecommunications Board, member.
  • ACM Council, member-at-large.
  • NSF CISE Advisory Committee, member.
  • General Electric Academic Software Advisory Panel.
  • Microsoft Trustworthy Computing Academic Advisory Board.
  • For More Information

  • Full cv (.pdf, .ps.).
  • Biographical sketch: long, short, and very short. Official CMU press release on becoming department head. Much more fun Women@SCS interview.
  • They call me Dragon Lady!
  • See my plan file for information on how to contact me via postal mail, e-mail, phone, fax, or my secretary.
  • See the CMU School of Computer Science "front door" for more information about research, educational, and social activities here.