Jayadev Misra

Il est Professeur et titulaire de la chaire centenaire Schlumberger en informatique à l'Université du Texas, à Austin.

Il est connu pour ses travaux dans le domaine de la programmation parallèle, mettant l’accent sur des méthodes rigoureuses. Son travail sur la méthode UNITY, en collaboration avec M. Chandy, a été déterminant à la fois dans le monde académique et industriel, et a produit un grand nombre d’outils et de projets de recherche.

Il a développé récemment un nouveau langage, appelé “ORC”, dédié aux orchestrations de composants en interaction. Il pilote aussi avec T. Hoare un projet pour automatiser la vérification de programmes à large échelle.

J.Misra est “fellow” de l’ACM et de l’IEEE ; il a obtenu la bourse Guggenheim en 1988-1989. Il a été “Strachey lecturer” à l’Université d’Oxford en1996, et titulaire de la chaire internationale belge du FNRS en informatique en 1990. Il est membre de l’académie des « DistinguishedTeachers » à l’Université duTexas à Austin.

Publications

J. Misra a été l’éditeur de plusieurs journaux comme : “Computing Surveys”, “Journal of the ACM”, “Information Processing Letters” et “Formal Aspects of Computing”.
Il est l’auteur de deux livres : “Parallel Program Design: A Foundation”, Addison-Wesley, 1988, avec M. Chandy, et “A Discipline of Multiprogramming”, Springer-Verlag, 2001.