Biographical Sketch Jeannette M. Wing Computer Science Department Carnegie Mellon University Pittsburgh, PA 15213-3890 Jeannette M. Wing is the President's Professor of Computer Science and Head of the Computer Science Department at Carnegie Mellon University. She received her S.B. and S.M. degrees in Computer Science and Engineering in 1979 and her Ph.D. degree in Computer Science in 1983, all from the Massachusetts Institute of Technology. From 2004-2007 she served as Department Head at Carnegie Mellon, and from 2007-2010 she was the Assistant Director of the Computer and Information Science and Engineering Directorate at the National Science Foundation. Professor Wing's general research interests are in the areas of trustworthy computing, specification and verification, concurrent and distributed systems, programming languages, and software engineering. By "trustworthy" she includes security, privacy, reliability, and usability. Her current interests are in the foundations of trustworthy computing, with a specific focus on the science of security and privacy. She has published extensively in top journals and major conferences and has given nearly 300 invited, keynote, and distinguished lectures. She was or is on the editorial board of twelve journals, including the Journal of the ACM and the Communications of the ACM. She is 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. Professor Wing is a member of Computing Research Association Board and the Microsoft Trustworthy Computing Academic Advisory Board. She has been a member of many other advisory boards, including: the Networking and Information Technology (NITRD) Technical Advisory Group to the President's Council of Advisors on Science and Technology (PCAST), the National Academies of Sciences' Computer Science and Telecommunications Board, the DARPA Information Science and Technology (ISAT) Board, NSF's CISE Advisory Committee, the Intel Research Pittsburgh's Advisory Board, Dartmouth's Institute for Security Technology Studies Advisory Committee, and the Idaho National Laboratory and Homeland Security Strategic Advisory Committee. She was a Member-at-Large on ACM Council and served on the ACM Kanellakis Award Committee and the ACM Karlstrom Outstanding Educator Award Committee. She was on the Microsoft New Faculty Fellowship Selection Committee and the Sloan Research Fellowships Program Committee. She was the co-chair of the Technical Symposium of Formal Methods'99, co-organizer of the UW-MSR-CMU 2003 Software security Summer Institute, and co-chair of the First International Symposium on Secure Software Engineering. She served as co-chair of NITRD from 2007-2010. Administratively at Carnegie Mellon, she serves as Head of the Computer Science Department, overseeing 90 faculty. 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 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. She received the CRA Distinguished Service Award in 2011. 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), and the Institute of Electrical and Electronic Engineers (IEEE).