Aditya Kanade
Associate Professor of Computer Science and Automation
Indian Institute of Science, Bangalore - 560012, India

Research group: Software Engineering and Analysis Lab (SEAL)
Office: CSA 209 (first floor)
Phone: +91-80-2293-3202
Fax: +91-80-2360-2911
Email: aditya.kanade@gmail.com
Twitter LinkedIn

Research (See publications and software)
Research interests: Programming languages, Software engineering, Verification, Machine learning


The goal of my research is to design formal methods of reasoning, probabilistic and randomized algorithms, and machine/deep learning solutions for program analysis, automated programming, concurrency analysis and software engineering.

Recent Publications/Drafts
  • Efficient computation of happens-before relation for event-driven programs [ISSTA'17]
  • Static deadlock detection for asynchronous C# programs [PLDI'17]
  • DeepFix: Fixing common C language errors by deep learning [AAAI'17]

Teaching (See courses)
  • Automated software engineering with machine learning (Jan-Apr'18)
  • Topics in software engineering - jointly with Shirish Shevade (Aug-Dec'17)

Professional Activities

Personal Information

Brief biography

I like to spend my spare time in nature photography. I post photos on my Facebook page. Here are some photo-articles I wrote: