Peter Lee Professor and Vice Provost for Research Carnegie Mellon University Contact information Curriculum vitae peter DOT lee AT cmu DOT edu My video introduction (requires Internet Explorer and Windows Media 9)

Note: I have just been appointed Vice Provost for Research. Check back later for updates to my web site, to reflect my new activities.

My research		My administrative activities
Research publications Information about Proof-Carrying Code (aka Self-Certified Code) George Necula's PCC page The Concert Project The Claytronics Project The Fox Project		A video of my lecture on Future CS Education My thoughts on the shrinking CS pipeline The CS Department Faculty wiki Undergraduate computer science The CS undergraduate program The CS student web site The Women @ SCS web site Frequently asked questions
My teaching		My current and former PhD students
15-745 Optimizing Compilers. 15-411 Compiler Design. See the Blackboard for the course web site. (Guest access is allowed.)		Current and former Ph.D. students Andrew Bernard's PhD thesis on Engineering Formal Security Policies for Proof-Carrying Code
My public service		Some sites I like
Member, Army Science Board Member, Senior Advisory Group, DARPA IXO Member, DARPA ISAT Temporary assignments: Member, The National Academies CSTB study on Building Certifiably Dependable Software Systems Member, The Defense Science Board Study on Defense Science and Technology. The Defense Threat Reduction Agency		Chungmi Kim's home page. Chungmi is my stepmother and had her play opening off-Broadway last October, 2004. A picture of me at Laguna Seca. And another one Pictures from my field trip aboard the USS Nimitz. A video of a karate demo given by Jeannette Wing and me. (Requires Quicktime.) Scott Draves' Spotworks DVD site Formula 1 Live MythTV The DOD Dictionary of Military Terms