Program Verification via SVMs

  • Aditya Nori | Microsoft Research India
Speaker Details

I am a member of the PLATO and MLO areas at Microsoft Research India. I am also an adjunct professor at IIT Hyderabad. My research interests include algorithms for the analysis of programs and machine learning with special focus on tools for improving software reliability and programmer productivity. I obtained my PhD from the Indian Institute of Science, Bangalore and Priti Shankar was my advisor.

Watch Next