Software Engineering and Analysis Lab (SEAL), IIIT-B
Faculty
WE WELCOME YOU TO JOIN US!!
Software Engineering and Analysis Laboratory (SEAL) -- earlier 'Software Engineering Laboratory' -- is a team of researchers at IIIT Bangalore working on using formal methods to solve software engineering problems. This lab is led by Meenakshi D'Souza, Head of Department, Computer Science and Engineering and Sujit Kumar Chakrabarti, Associate Professor, Department of Computer Science and Engineering, IIIT Bangalore.
Our work currently focuses on:
- Software testing
- Model driven engineering
- Formal verification
- Testing and verification of neural networks
- Requirements engineering
- Software sustainability
In the past, the research conducted in the lab has focused on other areas like:
- System of systems
- Reverse engineering
- Software architectures for embedded systems
Over the years, our research has been funded by:
- Royal Academy of Engineering, London, UK
- DRDO Headquarters, New Delhi, India.
- DST ICPS, New Delhi, India.
- ABB Research, Bangalore, India.
- Siemens R&D, Bangalore, India.
- Sony, Bangalore, India.
- Aeronautical Development Agency, Bangalore, India.
Here's a list of our recent and currently running projects:
- Testing and verification of neural networks as applied to autonomous systems, sponsored by Siemens R&D, Bangalore.
- Metrics for software sustainability, sponsored by Siemens R&D, Bangalore.
- Guidelines for independent verification and validation of ML algorithms used in fighter aircrafts, sponsored by Aeronautical Development Agency, Government of India, Bangalore.
- Automated Verification of Best Practices in Digital Public Infrastructures sponsored by Royal Academy of Engineering, UK (September 2023 - September 2024)
- Test Code Gen & Guided Fuzzing sponsored by Sony India Software Center Private Limited (August 2023 - )
PhD alumni from our lab are with C-DAC, HAL, DRDO labs, Eaton, and are faculty in BMSCE, Bangalore and PES, Bangalore. Master’s alumni from our lab are pursuing PhD in New York University, and are also working in various firms like Robert Bosch, Samsung, Oracle etc. Our current research scholars are actively working on the above projects in collaboration with various other firms too.