Sayan Mukherjee

Employment

• IITB Trust Lab, Department of CSE, IIT Bombay
  2026 - Present
• Institut de Recherche en Informatique et Systèmes Aléatoires
  2025 - 2026
• Inria Rennes - Bretagne Atlantique
  2025 - 2025
• Université Libre de Bruxelles Postdoctoral fellow
  2022 - 2024

Education

• Chennai Mathematical Institute Ph.D. in Computer Science
  2016 - 2022
• Chennai Mathematical Institute M.Sc. in Applications of Mathematics
  2014 - 2016
• St. Xavier's College (Autonomous), Kolkata B.Sc. in Mathematics
  2011 - 2014

Projects & Funding

Projects & funding information is unavailable.

Publications (8)

• Learning Event-Recording Automata Passively
  2026 DOI: 10.1007/978-3-032-08707-2_2
  +Save
• Prompt Runtime Enforcement
  2026 DOI: 10.1007/978-3-032-08707-2_7
  +Save
• Synthesizing POMDP Policies: Sampling Meets Model-Checking via Learning
  2026 DOI: 10.1007/978-3-032-32526-6_18
  +Save
• Greybox Learning of Languages Recognizable by Event-Recording Automata
  2025 DOI: 10.1007/978-3-031-78709-6_12
  +Save
• Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives
  2023 DOI: 10.1007/978-3-031-45329-8_10
  +Save
• Reachability for Updatable Timed Automata Made Faster and More Effective
  40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020) 2020 DOI: 10.4230/LIPICS.FSTTCS.2020.47
  +Save
• Fast Algorithms for Handling Diagonal Constraints in Timed Automata
  2019 DOI: 10.1007/978-3-030-25540-4_3
  +Save
• Reachability in Timed Automata with Diagonal Constraints
  29th International Conference on Concurrency Theory (CONCUR 2018) 2018 DOI: 10.4230/LIPICS.CONCUR.2018.28
  +Save