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