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.


Summer 2013
Programming with Java
Autumn 2013
Software Testing (G)
Spring 2014
  • Software Testing (G)
  • Programming Languages (G)
Summer 2014
Programming with Java (G)
Autumn 2014
  • Compiler Design (G)
  • Programming I - Python (UG)
Spring 2015
  • Software Testing (G)
  • Programming Languages (UG)
Autumn 2015
  • Programming I - Python (UG)
  • Programming II - Java (UG)
Spring 2016
  • Programming Languages (UG)
Autumn 2016
  • Programming I - Python (UG)
  • Programming II - Java (UG)
  • Compilers (PG)
Spring 2017
  • Programming Languages (UG)




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.