Welcome to the website of Software Engineering and Analysis Lab (SEAL) at the Department of Computer Science and Automation, Indian 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)
  Pallavi Maiya H.P. (PhD)
  Ashish Mishra (PhD), co-supervised with Y. N. Srikant
  Soham Pal (MTech), co-supervised with Shirish Shevade
  Ishan Rastogi (MTech by Research), co-supervised with Shirish Shevade
  Aashraya Sachdeva (MTech), co-supervised with Shirish Shevade
  Shyam Sankaran (MTech by Research)
  Anirudh Santhiar (PhD)

 Thomas Lemberger (Exchange student), University of Passau, Germany

  See publications for our collaborators and this link for alumni.