Aditya Kanade
Email:
kanade [at] iisc.ac.in
Room:
209
Artificial intelligence, formal methods, programming languages, software engineering