Peter Lee Professor School of Computer Science Carnegie Mellon University Contact information Curriculum vitae petel AT cs DOT cmu DOT edu My video introduction (requires Internet Explorer and Windows Media 9)

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		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-411 Compiler Design. 15-211 Fundamental Data Structures and Algorithms. 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 dad's wife and will have her play opening off-Broadway in October, 2004. A picture of me at Laguna Seca. And another one Pictures from my field trip aboard the USS Nimitz. Scott Draves' Spotworks DVD site MusicPlasma.com Gizmodo.com Formula 1 Live MythTV The DOD Dictionary of Military Terms