Anirban Majumdar

Employment

• Tata Institute of Fundamental Research Postdoctoral Fellow
  2025 - Present
• Université Libre de Bruxelles Postdoctoral fellow
  2021 - 2024

Education

• Université Paris-Saclay PhD (Computer Science)
  2018 - 2021
• Chennai Mathematical Institute Master of Science (Computer Science)
  2016 - 2018
• Chennai Mathematical Institute Bachelor of Science (Mathematics and Computer Science)
  2013 - 2016

Projects & Funding

Projects & funding information is unavailable.

Publications (11)

• Learning Event-Recording Automata Passively
  2026 DOI: 10.1007/978-3-032-08707-2_2
  +Save
• Synthesizing POMDP Policies: Sampling Meets Model-Checking via Learning
  2026 DOI: 10.1007/978-3-032-32526-6_18
  +Save
• Algorithms for Robbins’ Problem Using Markov Decision Processes
  2025 DOI: 10.1007/978-3-031-75775-4_2
  +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
• Vérification et synthèse de systèmes concurrents paramétrés
  2021 DOI: 10.70675/5a48973cz1710z441azb480z7bdc5ec51c2b
  +Save
• Playing with Repetitions in Data Words Using Energy Games
  Logical Methods in Computer Science 2020
  +Save
• Synthesizing Safe Coalition Strategies
  40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020) 2020 DOI: 10.4230/LIPICS.FSTTCS.2020.39
  +Save
• Concurrent Parameterized Games
  39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019) 2019 DOI: 10.4230/LIPICS.FSTTCS.2019.31
  +Save
• Reconfiguration and Message Losses in Parameterized Broadcast Networks
  30th International Conference on Concurrency Theory (CONCUR 2019) 2019 DOI: 10.4230/LIPICS.CONCUR.2019.32
  +Save