IISC talks on Program Verification!

Yesterday, as part of every Monday, some of MSR staff including myself attending series of lectures by Mr. Sriram Rajamani, Researcher at Microsoft Research India on Program analysis and Verification. Yesterday was the second in the series! The lecture is attended by some interns at MSR and many of MS and PhD students at IISC!