Sparsa Roychowdhury

Contact

@: 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.

Timeline:

...

  • 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

    Internship:

      July, 2019
    • Mathworks, Bangalore
      • May, 2019

    About:

    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).

    Awards:

    • TCS Fellowship awardee(cycle 13)

    Research Interests:

    Projects:

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

    Publications:

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