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

Publications for Souymodip Chakraborty

2019
DownloadLinkSouymodip Chakraborty. New Results on Probabilistic Verification: Automata, Logic and Satisfiability. Phd Thesis at RWTH Aachen University, 2019.
Show all