- chakraborty at cs.rwth-aachen.de
- Room 4206
- +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
|Souymodip Chakraborty. New Results on Probabilistic Verification: Automata, Logic and Satisfiability. Phd Thesis at RWTH Aachen University, 2019.|