Souymodip Chakraborty

like-a-sir150px
Email
chakraborty at cs.rwth-aachen.de
Address
Room 4206
Ahornstraße 55
D-52074 Aachen
Phone
+49 241 80 21210

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research interests include:

  • Hitchhiker’s Guide to the Galaxy.
  • Logic, automata and complexity theory