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

Lab: Software Engineering and Analysis Lab (SEAL)
Office: CSA 213 (first floor)
Phone: +91-80-2293-3202, Fax: +91-80-2360-2911
Email Twitter LinkedIn

IISc has migrated to a new domain. If you were using kanade@csa.iisc.ernet.in, please change it to kanade@iisc.ac.in.

Education and Affiliations
  • Associate Professor, Indian Institute of Science
  • Post-doctoral Research Associate, University of Pennsylvania (June 2007-June 2009)
  • Visiting Researcher, General Motors India Science Lab (June 2007-June 2009)
  • Visiting Researcher, Microsoft Research India (August-September 2008)
  • PhD, Indian Institute of Technology Bombay (July 2002-March 2007)
  • BE, Government College of Engineering Pune (June 1998-June 2002)

Research (See publications and software)
Research interests: Programming languages, Software engineering, Artificial intelligence


My research is directed at three themes: 1) design and analysis of concurrent, intelligent and secure software, 2) computing and reasoning with/about deep neural networks and 3) improving productivity of developers, students and end-users through automated software engineering.

Recent Publications/Drafts
  • Event-based concurrency: Applications, abstractions and analyses [Invited book chapter]
  • 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)
  • E0 202: Automated software engineering with machine learning (Jan-Apr'18)
  • E0 302: Topics in software engineering - jointly with Shirish Shevade (Aug-Dec'17)

Professional Activities

Honors
  • Illustrious Alumnus Award, Dept. of CS&IT, College of Engineering Pune, 2016
  • Prof. Priti Shankar Teaching Excellence Award, 2014
  • Faculty awards from Mozilla, IBM, Microsoft Research India
  • ACM SIGBED Best Paper Award at EMSOFT, 2008
  • Silver medal (Computer Engineering), University of Pune, 2002

Personal Information

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