Faculty

Meenakshi D'Souza
Meenakshi D'Souza
Head of Department, Computer Science and Engineering
Sujit Kumar Chakrabarti
Sujit Kumar Chakrabarti
Associate Professor, Department of Computer Science and Engineering

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:

In the past, the research conducted in the lab has focused on other areas like:

Over the years, our research has been funded by:

Here's a list of our recent and currently running projects:

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.

Publications