1. Home
2. People
3. Sujit

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:

1. Web-services
2. 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

1. Program Analysis for Software Engineering (Aug - 2019, Aug - 2020)
2. Programming Languages (Jan - 2014, Jan - 2015, Jan - 2016, Jan - 2017, Jan - 2018, Jan - 2019)
3. Programming I - Python (Aug - 2014, Aug - 2015, Aug - 2016, Aug - 2018)
4. Programming II - Java (Aug - 2015, Aug - 2016)
5. Compilers (Aug - 2014, Aug - 2016, Aug - 2018)
6. Foundations of Programming (Summer - 2018)
7. Programming with Java (Summer - 2013, Summer - 2014)
8. Software Testing (Aug - 2013, Jan - 2014, Jan - 2015)

Projects

Students

Research

Kartika Venkatesan PhD, August 2014 - present	Varsha P. Suresh PhD, January 2017 - present	Nikhila K N PhD, August 2017 - present
Ganesha PhD, August 2019 - present

Past Students

Khusbu Bubna MS, August 2013

Ananta Kumar Das MS, August 2015

A Message to Prospective Students

First of all, let me thank the students who write to me seeking joint work whether as PhD, MS, or internship. Being written to this way is frankly flattering. Having said that, let me also share that the number of such messages is somewhat beyond what I can process even in a cursory manner. My instinct is to give a polite and personalised reply to each carefully worded letter that comes to my inbox, even if, it has to be a refusal. Unfortunately, even that is not scalable. It has come to our notice that many of these mails aren't so personal as they are designed to sound. Most are infact spams. The same text almost definitely gets copied to dozens of academicians across the country.

Therefore, here's a little request. Please be specific in your message as to why you have written to me. Have you read my profile? Or have come across my work? Or have been referred to me by someone? Or share a common technical interest? If yes, then which? In short, leave significant clues in the text of your message to tell that the message is a hand-crafted one, and not mass-mailed to 50-100 people.

If I am convinced that I am hearing from a human being and not a robot, I will be very happy to reply to your message.

Talks/Panel Discussions

Publications