Peter Lee

February 2007

 

Computer Science Department

Carnegie Mellon University

5000 Forbes Avenue

Pittsburgh, Pennsylvania 15213-3891

Voice:

Fax:

Email:

Web:

(412) 268-1180

(412) 268-5577

peter.lee@ cmu.edu

http://www.cs.cmu.edu/~petel

 

Academic Background

 

            Carnegie Mellon University, Pittsburgh
                  Vice Provost for Research, July 2006 to present
                  Associate Dean, Jan. 2000 to Sept. 2004
                  Professor, July 2000 to present
                  Associate Professor, July 1994 to June 2000.

                  Assistant Professor, July 1988 to June 1994.

                  Research Computer Scientist, July 1987 to June 1988.

 

            The University of Michigan, Ann Arbor

                  Ph.D., Computer and Communication Sciences, completed May, 1987.

 

Brief Biographical Sketch

 

Peter Lee has been a member of the Carnegie Mellon University faculty since 1987. His research interests lie primarily in programming languages and systems, particularly in areas related to program analysis, verification, types, and optimization. In 1996 he co-developed the concept of proof-carrying code (PCC), an accomplishment that led to a new field of research and inspired a variety of computer security applications. The seminal paper on PCC was a best-paper award winner at OSDIÕ96 and selected in 2006 for the SIGOPS Hall of Fame. PCC technology is also the basis of a US patent, numerous invited seminars, short courses, and distinguished lectures. Several other of Dr. LeeÕs collaborative research results have also been recognized as Òstanding the test of time,Ó for example with the ÒTIL paperÓ receiving the 2006 award for Most Influential Paper at PLDIÕ96, and his three co-authored papers in the SIGPLAN 20-year retrospective of the most important PLDI papers.

 

While continuing an active research program, Peter Lee has served in several administrative roles. From 1999 to 2004, he served as the Associate Dean for Undergraduate programs, directing the undergraduate programs in the School of Computer Science (SCS). In this capacity, he saw the SCS programs rise to national prominence, including a #2 ranking in the Gourman Report and a five-fold increase in the number of women enrolled. In 2006, Dr. Lee was appointed the universityÕs Vice Provost for Research, and then moved from that position to the Department Head for the Computer Science Department in 2007. Although he held the Vice Provost position for just one year, he was quick to make major impacts on several of the universityÕs strategic research initiatives.  Now, as the Head of the Computer Science Department, Dr. Lee oversees a department with a roster of more than 70 faculty members, 160 Ph.D. students, and 560 B.S. students, and with over $30M in annual research expenditures -- by any measure, one of the very best research departments in the world.

 

Peter Lee has also been an exceptionally active servant to the academic community and to the nation. In 2005 he was elected a Fellow of the Association for Computing Machinery. He is also an elected member of the Board of Directors of the Computing Research Association, and today chairs its Government Affairs Committee. A sampling of other service activities include the Computing Community Consortium (CCC) Council, the GENI Science Council, the ACM SIGPLAN Executive Committee, and the Òred teamÓ of DARPAÕs Information Science and Technology Board. He is a member of the senior advisor group for DARPAÕs Information Exploitation Office and was formerly a member of the Army Science Board. An award-winning teacher, Peter Lee is called upon in diverse venues, including distinguished lectures at major universities, government and corporate advisory panels, and court testimony (most notably the Sun v. Microsoft ÒJava lawsuitÓ).

 

Peter Lee conducted his doctoral studies at the University of Michigan. He is married to Susan and has a son, Harry.

 

Personal Information

 

            Birthdate:                     November 30, 1960

            Citizenship:                 U.S.A.

            Marital status:              Married, one child

            Home address:                        7541 Graymore Road

                                                Pittsburgh, Pennsylvania 15221

                                                (412) 242-4161

 

Research and Technical Expertise

 

            Design, implementation, and foundations of programming languages.

            Language-based computer security.

            Code certification and proof-carrying code.

Advanced programming languages and techniques.

            Systems applications of programming language technology and concepts.

            Functional programming, formal semantics, and type theory.

 

Peter Lee is an ACM Fellow and has published extensively in major international symposia, particularly in areas related to the foundations of programming language design and implementation. Key symposia include the Associate for Computing MachineryÕs SIGPLAN Symposium on Principles of Programming Languages (POPL) and Programming Language Design and Implementation (PLDI).