Special Information Science and Technology Seminar

Wednesday April 20, 2005 4:00 PM

Reasoning about Reliability and Security Using Boolean Methods

Speaker: Sanjit Seshia, Computer Science, Carnegie Mellon
Location: Moore B270
"Reasoning about Reliability and Security Using Boolean Methods," Sanjit Seshia, computer science department, Carnegie Mellon University.
Series Information Science and Technology Seminar

Contact: Louise Foucher at 626-395-2826 louise@cs.caltech.edu