Sparsa Roychowdhury

Employment

• TU Clausthal PostDoc
  2024 - Present
• Intel (India) Formal Verification Engineer
  2022 - 2024
• Indian Statistical Institute Project Linked Person
  2015 - 2015

Education

• RCC Institute of Information Technology B.Tech
  2009 - 2013

Projects & Funding

Projects & funding information is unavailable.

Publications (3)

• 1½-Player Stochastic StopWatch Games
  2021 DOI: 10.4230/LIPICS.TIME.2021.17
  +Save
• Resilience of Timed Systems
  2021 DOI: 10.4230/LIPICS.FSTTCS.2021.33
  +Save
• Revisiting Underapproximate Reachability for Multipushdown Systems
  2020 DOI: 10.1007/978-3-030-45190-5_21
  +Save