Program Verification via SVMs
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.
- Date:
- Speakers:
- Aditya Nori
- Affiliation:
- Microsoft Research India
-
-
Aditya Nori
Partner Research Manager
-
Jeff Running
-
-