Aditya


Aditya Kanade


Assistant Professor
Computer Science and Automation
Indian Institute of Science
Bangalore 560012, India


Office: CSA 209
Telephone: +91-80-2293 3202
Fax: +91-80-2360 2911
Email: kanade at csa iisc ernet in











Brief Bio: I obtained a PhD from the Indian Institute of Technology Bombay in 2007, and a BE from the Government College of Engineering Pune in 2002, both in computer science and engineering. From 2007 to 2009, I was a post-doctoral research associate at the University of Pennsylvania. In August 2009, I joined the Indian Institute of Science where I am an Assistant Professor at the Department of Computer Science and Automation.

Research Interests: My research interests include both theoretical and practical aspects of design and analysis of programs and more generally, software systems. The goal of my research is to develop formal methods (automata theory, computational logic, program analysis) and empirical methods (information retrieval, data mining, machine learning) to address difficulties in software engineering. In the past, I have worked on deductive theorem proving, translation validation, and hybrid systems.



Research Projects



Publications



Teaching   Recent | All



Awards



Professional Service

PC member: ISEC 2012, I-CARE 2011, ICDCIT 2011, AVOCS 2009-Special issue, ISSRE 2009 (student track)



Research Group   Present members | Alumni



Student Awards





Personal Interests