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
Research
| Kartika Venkatesan (Graduated) PhD, August 2014 |
Varsha P. Suresh (Graduated) PhD, January 2017 |
Nikhila K N (Graduated) PhD, August 2017 |
| Deepti Anand (as a co-supervisor, supervisor: V. Sridhar) PhD, August 2013 (Graduated) |
Ganesha PhD, August 2019 - present |
Past Students
| Aira Jain MS, August 2024 |
| Pranita Ganguly MS, August 2024 |
| Ananta Kumar Das MS, August 2015 (Graduated) |
| Nitin Bhatia (as a co-supervisor, supervisor: Meenakshi D'Souza) MS, 2015 |
| Khusbu Bubna MS, August 2013 (Graduated) |