Research
Labs
Areas
-
Professor Srini Devadas has been selected as an Edwin Sibley Webster Professor of Electrical Engineering and Computer Science, joining Prof. Alan Willsky as the second Edwin Sibley Webster chaired professor at MIT. Professor Devadas succeeds nearly sixty years of many prominent faculty members holding this professorship, including Ernst Guillemin in 1960, Lan Jen Chu in 1963, Peter Elias in 1974, and Ronald Rivest in 1992. -
Daniel Jackson, professor of computer science and engineering in the EECS department, principal investigator in the Computer Science and Artificial Intelligence Lab, CSAIL, head of the CSAIL Software Design Group, and MacVicar Faculty Fellow is also an avid photographer. His work featuring black and white photos of labs at MIT and titled 'Dark Machines: Inside MIT's Laboratories' is now on exhibit (through Dec. 31, 2012) at the MIT Museum. -
Shafi Goldwasser, the RSA professor of electrical engineering and computer science at MIT and principal investigator with the Computer Science and Artificial Intelligence Lab, is among three at MIT selected as Simons Investigator by the Simons Foundation. -
Chlipala selected as the Douglas Ross (1954) Career Development Professor of Software -
Prof. Hari Balakrishnan and graduate student Keith Winstein have developed an alternative to SSH - a remote log-in program called Mosh for mobile shell - finally allowing for the mobile Internet. They reported their work at the Usenix Annual Technical Conference in Boston this month. -
Liskov and group creates Aeolus, a new programming system to track of users' data access privileges - preventing data leaks and designed for ease of programmer use. -
Prof. Martin Rinard's group has developed new mathematical framework that allows computer scientists to reason rigorously about sloppy computation. -
Shafi Goldwasser and former graduate student Guy Rosenblum, who is now at Microsoft Research, have conducted a ten year foundational study on computer security that focuses on side-channel attacks, the latest and greatest threat to security as cloud computing becomes the new standard. -
-
At the Association for Computing Machinery’s Symposium on Theory of Computing in May, Silvio Micali, and graduate student Pablo Azar will present a new type of mathematical game that they’re calling a rational proof. -
-
-
-
-
-
-
-
-
CSAIL Research Scientist David Clark, one of the Internet's chief architects weighed in on net neutrality as the issues of Internet and network ownership and control mount. -
-
-
-
-
-
