La carrière de Prakash Panangaden en recherche porte sur l’informatique, les mathématiques et la physique. Il a travaillé sur les langages de programmation, les systèmes probabilistes, l’informatique quantique et la relativité. On le connaît notamment grâce aux liens étroits qu’il a établis entre la théorie du domaine et les chaînes de Markov à état continu; avec ses collègues, il a prouvé un théorème de caractérisation logique remarquable. Avec Keye Martin, il a découvert une façon originale de reconstruire la topologie espace-temps de structure causale à l’aide de concepts mathématiques empruntés aux langages de programmation.