Dhrubajyoti Ghosh

Me

I am currently a first-year PhD student at the Laboratoire Méthodes Formelles, ENS Paris-Saclay being supervised by Thomas Nowak. I am interested in the theory of distributed computing - my current focus is on comparing the computational power of models of distributed computing.

I received my Master M2 diploma in the Master Parisien de Recherche en Informatique (MPRI) programme from ENS Paris-Saclay in 2025 and previously did my undergraduate studies at Chennai Mathematical Institute during 2020-2023. You can find my CV here.

Teaching

  • Initiation to Verification

    • Publications

    1. Equivalence and Separation between Heard-Of and Asynchronous Message-Passing Models 2025 [arXiv]
      Hagit Attiya, Armando Castañeda, Dhrubajyoti Ghosh, Thomas Nowak

    Masters Thesis

  • Equivalence of Round-Based and Non-Round-Based Message-Passing Models [pdf]
    Supervised by Thomas Nowak, 2025, Laboratoire Méthodes Formelles