Software Engineering and Analysis Lab (SEAL), IIIT-B
Sujit Kumar Chakrabarti
Sujit's interest broadly lie in the formal aspects of software engineering. He is particularly interested in applying formal techniques to improve the productivity of software engineers in various engineering domains. The domains he has worked in are:
- Web-services
- Embedded software systems
Sujit's current research efforts are in the development of advanced techniques of testing embedded software systems, formal specification of web-applications, and specification based testing of web-applications.
Teaching
- Program Analysis for Software Engineering (Aug - 2019, Aug - 2020, Aug - 2024)
- Programming Languages (Jan - 2014 -)
- Programming I - Python (Aug - 2014 to Aug - 2020, Aug - 2024)
- Programming II - Java (Aug - 2015, Aug - 2016)
- Compilers (Aug - 2014, Aug - 2016, Aug - 2018, Aug - 2022)
- Foundations of Programming (Summer - 2018 - )
- Programming with Java (Summer - 2013, Summer - 2014)
- Programming with Python (Summer MTech Prep term)
- Software Testing (Aug - 2013, Jan - 2014, Jan - 2015)
- Software Design Practices (Aug - 2021, Jan - 2024)
Projects
Students
Current Students
| Pranita Ganguly | MS, August 2024 |
| Aira Jain | MS, August 2024 |
| Pratheek P | MS, August 2025 |
| Ganesha | PHD, August 2019-Present |
| Nidhi Varshney | PHD, January 2026 |
Past Students
| Kartika Venkatesan PhD, August 2014 |
Varsha P. Suresh PhD, January 2017 |
Nikhila K N PhD, August 2017 |
Ananta Kumar Das MS, August 2015 |
| Deepti Anand (as a co-supervisor, supervisor: V. Sridhar) PhD, August 2013 |
Nitin Bhatia (as a co-supervisor, supervisor: Meenakshi D'Souza) MS, 2015 |
||
| Khusbu Bubna MS, August 2013 (Graduated) |