Sayan Mukherjee

email: sayanm at cmi dot ac dot in
address: Chennai Mathematical Institute
H1 SIPCOT IT Park, Siruseri,
Kelambakkam 603103,
Tamil Nadu, India.

Hi there!

I am a Research Scholar in Computer Science at Chennai Mathematical Institute, working under the supervision of Paul Gastin (LSV, ENS Paris-Saclay) and B Srivathsan (Chennai Mathematical Institute). Presently, I am working on verification of real-time systems that are modeled using Timed Automata.



  • Ph.D. in Computer Science
    Chennai Mathematical Institute
    Advisors: Prof. Paul Gastin (LSV, ENS Paris-Saclay),
    Prof. B Srivathsan (Chennai Mathematical Institute)
  • 2016
  • M.Sc. in Applications of Mathematics
    Chennai Mathematical Institute
  • 2014
  • B.Sc. in Mathematics
    St. Xavier's College (Autonomous), Kolkata
  • 2011

    Summer Internship

    July, 2015
  • Space efficient algorithm for weighted 1-center problem
    Indian Statistical Institute, Kolkata
    Advisor: Prof. Subhas Chandra Nandy
  • May, 2015


    1. Paul Gastin, Sayan Mukherjee, B Srivathsan.   Fast Algorithms for Handling Diagonal Constraints in Timed Automata
      in proceedings of   CAV 2019, LNCS 11561, 41 -- 59, Springer
      [ pre-print | conference version | doi: 10.1007/978-3-030-25540-4_3 ]
    2. Paul Gastin, Sayan Mukherjee, B Srivathsan.   Reachability in Timed Automata with Diagonal Constraints
      in proceedings of   CONCUR 2018, LIPIcs 118, 28:1 -- 28:17, Schloss Dagstuhl--Leibniz-Zentrum für Informatik
      [ pre-print | conference version | doi: 10.4230/LIPIcs.CONCUR.2018.28 ]