Computing + Mathematical Sciences Lecture

Wednesday March 30, 2011 4:00 PM

Formal Verification of Software Infrastructure: From Science to Engineering

Speaker: Adam Chlipala, Harvard University
Location: Annenberg 105
"Formal Verification of Software Infrastructure: From Science to Engineering," Adam Chlipala, Harvard University.
Series Computing + Mathematical Sciences Lecture Series

Contact: Sydney Garstang at x4555 sydney@caltech.edu