People Faculty Srini Devadas, devadas@mit.edu, 32-G844, 617-253-0454 Research Staff Jérôme Waldispühl, jw@csail.mit.edu, 32-G842, 617-253-1450 Support Staff Sally Lee, sally@csail.mit.edu, 32-G846, 617-253-6837 Students Charles W. O'Donnell, cwo@mit.edu, 32-G842, 617-253-1450 Mieszko Lis, mieszko@mit.edu, 32-G838, 617-253-7343 William Thies, thies@mit.edu, 32-G890, 617-253-6284