Wednesday, March 30, 2011
Wednesday, March 30th, 2011
4:00pm
–
5:00pm
Add to Cal
Computing + Mathematical Sciences Lecture
Formal Verification of Software Infrastructure: From Science to Engineering
Adam Chlipala,
Harvard University,
4:00pm
–
5:00pm
Add to Cal
Special Lecture: The Crisis at Fukushima Dai-Ichi Nuclear Power Plant
Joseph Shepherd,
C. L. "Kelly" Johnson Professor of Aeronautics and Professor of Mechanical Engineering; Dean of Grad,
Engineering and Applied Science,
California Institute of Technology,