Varun Tulsian

ME CSA batch of '13

About Me

I am 23 year old Calcuttan currently pursuing my masters at IISc's CSA dept. Having lived all my life in humid Kolkata I'm enjoying my stay at Bangalore. I love talking to friends and am inquisitive by nature.

Research Interests

Application of Machine learning in verfication and Program Repair

Apr 2012 - Present

I am being advised by Dr. Aditya Kanade . Currently working in collaboration with Aditya Nori and Sriram Rajamani of Microsoft Research India.


1st Semester IISc

Design and analysis of Algorithms, DBMS, Linear Algebra and applications, Probability and statistics

2nd Semester IISc

Automated Verification, Computer Graphics, Data Mining, Machine Learning.

3rd Semester

Program Analysis and Verification

Contact Details


I work in the Software Engg. and Analysis Lab IISc, Room No. 224 (CSA Dept.) which is convened by Dr. Aditya Kanade .


Room number- 537 New Boys Hostel, IISc Bangalore.


To know more about my academic backgroung kindly go through my CV .