BSc, MSc and PhD, Massachusetts Institute of Technology. 2007-10, Assistant Director, Computer and Information Science and Engineering, National Science Foundation. 2004-07 and since 2010, Department Head, Computer Science, Carnegie Mellon University. Fellow, American Academy of Arts and Sciences, American Association for the Advancement of Science, Association for Computing Machinery, and Institute of Electrical and Electronic Engineers. Research interests: foundations of trustworthy computing (especially security, privacy, reliability), formal methods, and software systems. Educational vision: to see computational thinking commonplace.