Microsoft: Peter Lee new managing director of Microsoft Research
Mr. Lee is a leading figure in computer science research, particularly in areas related to software security and reliability, and has held key positions in both government and academia, most recently at the Defense Advanced Research Projects Agency (DARPA).
Before joining DARPA, Mr. Lee was head of Carnegie Mellon's nationally top-ranked computer science department and had previously served as the university's vice provost for research. At CMU, he carried out research in language design, program analysis and verification.
Mr. Lee is well-known for his co-development of proof-carrying code techniques for enhanced software security, and, more recently, has tackled problems as diverse as programming for large-scale modular robotics systems, shape analysis for C programs and proof-carrying code techniques for ultrasecure file systems.
Mr. Lee is past chair of the board of directors for the Computing Research Association and an elected fellow of the Association for Computing Machinery. ■