Saptarshi Sarkar
Research
My research interests include
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
Attended Events
A brief cv.
|