Hi!
I am a postdoctoral reasearcher with Prof. Luke Ong at College of Computing and Data Science, Nanyang Technological University, Singapore.
From 2023 to 2025, I was a postdoc at Learning in Verification lab in the Faculty of Informatics, Masaryk University, Brno, with Prof. Jan Křetínský.
In December 2022, I completed my PhD under supervision of Prof. Jean-François Raskin at Formal Methods and Verification group in Département d’Informatique, Université Libre de Bruxelles.
I received my MSc in Computer Science and BSc in Mathematics and Computer Science from Chennai Mathematical Institute.
Publications
📄 Explainably Safe Reinforcement Learning Accepted at NeurIPS 2025
Sabine Rieder, Stefan Pranger, Debraj Chakraborty, Jan Křetínský and Bettina Könighofer
📄 Symbiotic Local Search for Small Decision Tree Policies in MDPs UAI 2025
Roman Andriushchenko, Milan Češka, Debraj Chakraborty, Sebastian Junges, Jan Křetínský and Filip Macák
📄 Explaining Control Policies through Predicate Decision Diagrams HSCC 2025
Debraj Chakraborty, Clemens Dubslaff, Sudeep Kanav, Jan Křetínský and Christoph Weinhuber
📄 1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization VMCAI 2025
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Křetínský, Mohammadsadegh Mohagheghi, Stefanie Mohr and Maximilian Weininger
📄 Learning Explainable and Better Performing Representations of POMDP Strategies TACAS 2024
Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Křetínský and Stefanie Mohr
📄 Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives ATVA 2023
Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez and Jean-François Raskin
📄 Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods AAMAS 2023
Damien Busatto-Gaston, Debraj Chakraborty, Guillermo A. Pérez and Jean-François Raskin
📄 Safe Learning for Near-Optimal Scheduling QEST 2021
Damien Busatto-Gaston, Debraj Chakraborty, Shibashis Guha, Guillermo A. Pérez and Jean-François Raskin
📄 Monte Carlo Tree Search guided by Symbolic Advice for MDPs CONCUR 2020
Damien Busatto-Gaston, Debraj Chakraborty and Jean-François Raskin
PhD thesis
Monte Carlo Tree Search with Advice 2023
Contact details
Address
Debraj Chakraborty,
College of Computing and Data Science,
Nanyang Technological University,
50 Nanyang Avenue,
Singapore 639798,
Singapore,
🌏
<firstname>.<lastname><at>ntu.edu.sg