Our People

Computer Science Laboratory

Patrick Lincoln Director, Computer Science Laboratory	Ulf Lindqvist Program Director, Computer Science Laboratory	John Murray Program Director, Computer Science Laboratory	Peter Neumann Principal Scientist, Computer Science Laboratory	John Rushby Program Director, Formal Methods and Dependable Systems, Computer Science Laboratory
Natarajan Shankar Staff Scientist, Computer Science Laboratory	Carolyn Talcott Program Director, Symbolic Systems Biology, Computer Science Laboratory

View by Category