Jeannette M. Wing

President's Professor of Computer Science and Department Head, Computer Science Department, Carnegie Mellon University

Contact Information at CMU

Address: Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213
Phone: 412-268-3068 (office) 412-260-8926 (cell)
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.
  • Software Security
  • Attack Surface Measurement: People, publications, related articles.
  • Extracting Secrecy Policies from Source Code.
  • Past Projects
  • Students
  • Michael Tschantz, CS doctoral student
  • Kuen-Bang (Favonia) Hou, CS doctoral student.
  • Former Ph.D. and M.S. Students, Postdocs, and Visitors
  • Teaching

    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

    Department Head, Computer Science Department.

    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
  • Boards
  • Computing Research Association Board, 2011-2014.
  • Microsoft Trustworthy Computing Academic Advisory Board, 2003-2007, 2010-.
  • Past Administrative and Service Positions
  • Computer and Information Science and Engineering Directorate, National Science Foundation, Assistant Director.
  • 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..
  • SCS Graduate Student Statistics.
  • My annual Emigration Course talk "Tips on the Job Interview Process"
  • Selected Past Service Activities
  • The National Academies: Computer Science and Telecommunications Board, member.
  • ACM Council, member-at-large.
  • DARPA ISAT member.
  • Intel Research Pittsburgh 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.