Welcome to the website of Software Engineering and Analysis Lab (SEAL) in 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. Our solutions span the areas of program analysis, formal methods, randomized and search procedures, and machine/deep learning.

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

  Rahul Gupta (PhD)
  Yash Gupta* (MTech by Research)
  Abhinash Khare* (MTech)
  Nidin Lal Koilparampil (MTech)
  Ashish Mishra^ (PhD)
  Soham Pal* (PhD)
  Ketan Patil (MTech)
  Ishan Rastogi* (MTech by Research)

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