CSAIL Event Calendar: Previous Series

Dertouzos Lecturer Series 2005/2006


Professor Randal E. Bryant , Carnegie Mellon University
Formal Verification of Infinite State Systems using Boolean Methods

Date: February 9 2006
Time: 4:00PM to 5:30PM
Location: 32-123


Professor Michael Black , Brown University
Repairing the Damaged Brain with Computation: The Development of a Neural Motor Prosthesis

Date: April 6 2006
Time: 4:00PM to 5:30PM
Location: 32-123


Dr. David E. Shaw , D.E. Shaw Research and Development and Center for Computational Biology and Informatics, Columbia Un
New Architectures for a New Biology

Date: April 27 2006
Time: 4:00PM to 5:30PM
Location: 32-123


Professor Avi Wigderson , Institute for Advanced Study
The Power and Weakness of Randomness in Computation

Date: November 10 2005
Time: 4:00PM to 5:30PM
Location: 32-123


Back to Previous Series List

Back to Event Calendar


About Us Research News Resources Directory