Formal Methods for Dependable and Secure Computing: From Algorithms, through Software, to Circuits

Speaker: Sanjit A. Seshia, Asst. Professor of EECS, UC Berkeley

Live broadcast at mms://media.citris.berkeley.edu/webcast; Questions can be sent via Yahoo IM to username: citrisevents