The time has arrived for the universe to know about me. I have been a post-doctoral researcher until Nobember 2024 in the Verification group of Université Libre de Bruxelles(ULB) under Jean-François Raskin. Before joining ULB, I was a CNRS-funded PhD student, at LMF in Ens Paris-Saclay, France, under the supervision of Patricia Bouyer-Decitre and Nathalie Bertrand (Inria Rennes).

Earlier, I did my M.Sc. in Computer Science, and B.Sc. in Mathematics and Computer Science from the cute Chennai Mathematical Institute, India. I did my M1 internship with Denis Kuperberg in the Plume team at Ens Lyon. I did my M2 thesis under M. Praveen at CMI.

Change is the only constant, and learning is the key behind that. My current research also focuses on "Learning". While "Machine Learning" is the current trend in modern computer science, my research mainly focuses on the learning of "Automata", a type of machine, using the tools from "Formal Methods".

Yes, Formal Methods is my main area of interest. If you ask me to be more specific, I would say games on (finite) graphs, verification of parameterized systems, probabilistic systems, etc. In my PhD, we introduced and studied a model of games that aims to deal with a parameterized number of players. Sounds exciting? Feel free to read my PhD thesis, and contact me for any questions or comments.

To dig more into my past and present, please look into my CV.

Here is a selected list of my publications. For the full list, please look into my DBLP or my Google Scholar.

• Greybox Learning of Languages Recognizable by Event-Recording Automata
  A. Majumdar, S. Mukherjee, JF. Raskin
  To appear,  Automated Technology for Verification and Analysis (ATVA), 2024
  arxiv Tool
• Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives
  D. Busatto-Gaston, D. Chakraborty, A. Majumdar, S. Mukherjee, G. A. Pérez, JF. Raskin
  In Automated Technology for Verification and Analysis (ATVA), 2023
  arxiv DOI
• Synthesizing Safe Coalition Strategies
  N. Bertrand, P. Bouyer-Decitre, A. Majumdar
  In Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2020
  arxiv DOI Slides
• Concurrent Parameterized Games
  N. Bertrand, P. Bouyer-Decitre, A. Majumdar
  In Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2019
  PDF DOI Slides
• Reconfiguration and Message Losses in Parameterized Broadcast Networks
  N. Bertrand, P. Bouyer-Decitre, A. Majumdar
  In Concurrency Theory (CONCUR), 2019
  arxiv DOI Slides
• Playing with Repetitions in Data Words Using Energy Games
  D. Figueira, A. Majumdar, M. Praveen
  In Logical Methods in Computer Science
  arxiv DOI
• Width of Non-deterministic Automata
  D. Kuperberg, A. Majumdar
  In Symposium on Theoretical Aspects of Computer Science (STACS), 2018
  arxiv DOI Slides
• Multiple Generation of Bengali Static Signatures.
  M. D. Cabrera, S. Chanda, M. A. Ferrer, C. K. Banerjee, A. Majumdar, C. Carmona-Duarte, P. Acharya, U. Pal
  In International Conference on Frontiers in Handwriting Recognition (ICFHR), 2016
  DOI

• Verification and synthesis of parameterized concurrent systems
  A. Majumdar, Ph.D. Thesis
  PDF HAL Slides
• Playing with Repetitions in Data Words
  A. Majumdar, M.Sc. Thesis
  PDF Slides

Spring Semester 2023-2024

• Teaching assistant
  INFO 410 - Embedded systems design
• Teaching assistant
  INFO 412 - Formal verification of computer systems

Spring Semester 2022-2023

• Teaching assistant
  INFO 410 - Embedded systems design
• Teaching assistant
  INFO 412 - Formal verification of computer systems