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

SpringAutumnSummer
2019Programming Languages (UG)----
 
2018--Programming I (Python)(UG)
Compilers
Foundations of Programming
 
2017Programming Languages(UG)----
 
2016Programming Languages (UG)Programming I (Python) (UG)
Programming II - Java (UG)
Compilers(PG)
--
 
2015Software Testing(G)
Programming Languages (UG)
Programming I (Python) (UG)
Programming II - Java (UG)
--
 
2014Software Testing(G)
Programming Languages (UG)
Compiler Design (G)
Programming I - Python (UG)
Programming with Java (G)
 
2013--Software Testing(G)Programming with Java (G)

Projects

Students

Research

Varsha P. Suresh
PhD, January 2017 - present
Kartika Venkatesan
PhD, August 2014 - present
Ananta Kumar Das
MS, August 2015 - present
Nikhila K N
PhD, August 2017 - present

Past Students

Khusbu Bubna
MS, August 2013


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.

Publications