Prakash Panangaden

Prakash Panangaden est membre académique principal de Mila. Professeur à l’École d’informatique à l’Université McGill, il s’intéresse aux fondements mathématiques de l’apprentissage machine. Il a travaillé sur la bisimulation, les métriques et l’approximation des processus de Markov. Il a également étudié les logiques pour les systèmes probabilistes, la dualité de Stone pour les processus de Markov et les langages de programmation. Récemment il a travaillé sur une extension quantitative de la logique et de la sémantique équationnelle pour un lambda-calcul stochastique. Dans d’autres travaux récents, ses collaborateurs et lui-même ont développé une notion de minimisation approximative des automates finis pondérés et de la bisimulation pour de tels automates. Cela l’a conduit à étudier l’apprentissage des automates. Auparavant, il a également étudié la théorie de l’information quantique, la sémantique de la programmation concurrente, la logique modale et la théorie des catégories.