Research
Labs
Areas
-
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. -
-
-
-
-
-
-
-
