All Seminars
Past Seminars
OCT
25
2023
Other Seminar
Unifying the Cognitive Sciences
Karl Friston, Professor of Imaging Neuroscience
APR
21
2014
Faculty Candidate Seminar
Verified Approximate Computing
Michael Carbin, Ph.D. Candidate, MIT
MAR
22
2007
Faculty Candidate Seminar
Deputy: Dependent Types for Safe Systems Software
Dr. Jeremy Condit
APR
03
2006
Faculty Candidate Seminar
AEGIS: Architectural EnGine for Information Security
Dr. Edward Suh
FEB
15
2006
Faculty Candidate Seminar
Scalable Automated Methods for Software Reliability
Dr. Koushik Sen