Saptarshi Sarkar

alt text 

PhD,
Computer Science Department,
Indian Institute of Technology Bombay (IITB)
Room No 301, CFDVS Lab,
New CC Building, Near SOM,
IIT Bombay, Powai - 400076
Email: sapta [@] cse [DOT] iitb [DOT] ac [DOT] in

Research

My research interests include

  • Automata, Logic and Algebraic Language Theory

  • Formal Verification

  • Constraint Satisfaction

Background

  • B.Tech : Institute of Engineering & Management, Kolkata IEM

  • M.Tech : Indian Institute of Technology Bombay IITB

  • PhD (ongoing) : Indian Institute of Technology Bombay, supervised by Prof. Bharat Adsul

Publications

  • Bharat Adsul, Paul Gastin, Saptarshi Sarkar, and Pascal Weil, "Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces", In 31st International Conference on Concurrency Theory, CONCUR 2020.

  • Bharat Adsul, Saptarshi Sarkar, and A.V.Sreejith, "Block Products for algebras over countable words and applications to logic", In 34rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, Canada.[pdf] [slides]

Technical Reports

  • Bharat Adsul, Saptarshi Sarkar, and A.V.Sreejith, "Semidirect product of o-algebra" [pdf]

  • Bharat Adsul, Saptarshi Sarkar, and A.V.Sreejith, "Green's relations for o-algebra" [pdf]

Awards

  • TCS fellowship (2015-2019)

  • AIR 93 in GATE 2011

  • Teaching Assistant of the month (October 2016, Discrete Structures CS207)

Attended Events


A brief cv.