Jeannette M. Wing

President's Professor of Computer Science, Computer Science Department, Carnegie Mellon University
Assistant Director, Computer and Information Science and Engineering Directorate, National Science Foundation

Contact Information at NSF

Address: National Science Foundation, 4201 Wilson Boulevard, Suite 1105, Arlington, VA 22230
Phone: (703) 292-8900 (office) 412-260-8926 (cell)
Email: jwing@nsf.gov

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

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.

Research

Publications

Areas of Interest: Software specification and verification, security, 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
  • Former Ph.D. and M.S. Students, Postdocs, and Visitors
  • Teaching

    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

    Computer and Information Science and Engineering Directorate, National Science Foundation, Assistant Director

    Editorial Boards

  • Journal of the ACM
  • Communications of the ACM
  • Formal Aspects of Computing (North American Editor)
  • Formal Methods in System Design
  • IEEE Transactions on Dependable and Secure Computing
  • International Journal of Software and Informatics
  • Journal of Information Science and Engineering
  • Software Tools for Technology Transfer
  • Past Administrative and Service Positions
  • Department Head, Computer Science Department.
  • 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.
  • Microsoft Trustworthy Computing Academic Advisory Board.
  • 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.