Sparsa Roychowdhury


@: sparsa at cse dot iitb dot ac dot in
Address: Center for Formal Design and Vefication of Software (CFDVS)
New CSE Building, LAB CC 301
Indian Institue of Technology, Bombay,
Powai, Mumbai 400076,
Maharashtra, India.



  • Ph.D. in Computer Science
    Indian Institue of Technology, Bombay, India
    Advisors: Akshay S. , Krishna S.,IIT Bombay
  • January, 2016
  • Project Linked Person, CVPR, ISI, Kolkata
    Advisor: Bidyut Baran Chaudhuri
  • July, 2015
  • M.E. in Computer Science and Engineering
    Indian Institute of Engineering Science and Technology, Shipbur, Howrah, India
  • July, 2013
  • B.Tech. in Information Technology
    RCC Institute of Information Technology, West Bengal University of Technology
  • July, 2009


      July, 2019
    • Mathworks, Bangalore
    • May, 2019


    I am a Ph.D. scholar in the Department of Computer Science, IIT Bombay. I am currently working with Prof. Akshay S. and Prof. Krishna S. I am associated with Center for Formal Design and Verification of Software (CFDVS).


    • TCS Fellowship awardee(cycle 13)

    Research Interests:


    BHIM: A tool to decide under-approximate reachability of multi-stack pushdown systems.


    1. S. Akshay, P. Gastin, Krishna S, S Roychowdhury Revisiting Underapproximate Reachability for Multipushdown Systems TACAS'20