Welcome to the website of Software Engineering and Analysis Lab (SEAL) in the Department of Computer Science and AutomationIndian Institute of Science (IISc), Bangalore. We work on automated techniques to ensure correctness, reliability and security of software systems, and on developing tools and techniques to improve developer productivity.

 Meet the team!
  Aditya Kanade (Faculty in-charge)

  Rahul Gupta (PhD)
  Poonam Kashyap (MTech)
  Abhinash Khare* (MTech)

  Pallavi Maiya H.P. (PhD)
  Ashish Mishra^ (PhD)
  Soham Pal* (MTech)
  Ketan Patil (MTech)
  Ishan Rastogi* (MTech by Research)
  Aashraya Sachdeva* (MTech)
  Shyam Sankaran (MTech by Research)
  Anirudh Santhiar (PhD)

* Co-supervised with
Shirish Shevade, ^ Co-supervised with Y. N. Srikant