Mathai Joseph
Mathai Joseph est un Informaticien indien né le .
Naissance | |
---|---|
Nationalité | |
Domicile | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Directeur de thèse |
Biographie
modifierIl étudie la physique au Wilson College (Mumbai, Inde, 1962) puis à l'Université de Mumbai en 1964[1]. Il obtient un diplôme de troisième cycle en électronique au Welsh College of Advanced Technology (1965), puis un doctorat en informatique au Churchill College, Cambridge sous la direction de David Wheeler (1968)[2].
De 1968 à 1985, il travaille sur la programmation en tant que Fellow et Senior Research Scientist au Tata Institute of Fundamental Research (Mumbai, Inde), puis devient professeur d'informatique à l'Université de Warwick de 1985 à 1997[1]. Il retourne en Inde en 1997 comme directeur exécutif au Tata Research Development and Design Center (Pune) puis de vice-président exécutif chez Tata Consultancy Services (1997–2007).
Il est Professeur invité à l'Université Carnegie-Mellon (1980–81), à l'Université de technologie d'Eindhoven (1990–92), à l'Université de Warwick (1997–98) et à l'Université d'York (2001–04) [1]. Il est président du conseil d'administration de l'IIST (2004–06, Université des Nations unies, Macao) [3]. Il est le premier indien à être élu au Conseil de l'ACM[4]. Il est membre du Conseil de l'ACM Inde jusqu'en 2012. Il préside le comité d'éducation d'ACM Inde jusqu'en 2014.
Sa recherche porte sur les méthodes formelles pour les systèmes informatiques, y compris les systèmes en temps réel. Son article le plus cité, "Finding Response Times in a Real-Time System ", avec plus de mille citations sur Google Scholar[5], est un travail conjoint avec Paritosh Pandya, publié dans The Computer Journal en 1986[6].
Son travail conjoint avec Zhiming Liu sur la tolérance aux pannes donne un modèle formel qui définit précisément les notions de faute, derreur, déchec et de tolérance aux pannes, ainsi que leurs relations. Il fournit les propriétés qui modélisent les programmes affectés par des pannes et les programmes tolérants aux pannes en termes de transformations. Il propose un processus de conception pour les systèmes tolérants aux pannes[7],[8].
Joseph écrit Digital Republic, des mémoires qui retracent le développement de la technologie de l'information en Inde[3],[9],[10],[11].
Livres
modifier- Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13–15, 1984, Proceedings, vol. 181, Springer-Verlag, coll. « Lecture Notes in Computer Science », (ISBN 978-3-540-13883-9)
- Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22–23, 1988, vol. 331, Springer-Verlag, coll. « Lecture Notes in Computer Science », (ISBN 978-3-540-50302-6)
- Real-Time Systems: Specification, Verification and Analysis, Prentice Hall, coll. « International Series in Computer Science », (ISBN 978-0-13-455297-2)
- Mathai Joseph, Digital Republic: India's rise to IT power, Power Publishers, (ISBN 978-93-82792-57-4, lire en ligne)[10]
- Mathai Joseph, Dead to Reason, Amazon Kindle, (lire en ligne)
Références
modifier- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Mathai Joseph » (voir la liste des auteurs).
- Ibaraki, « Dr. Mathai Joseph: Renowned Executive, Researcher, Distinguished Scientist shares his deep insights into computing, research, careers, trends », Canadian IT Manager's Blog, blogs.technet.com, (consulté le )
- Ibaraki, « Chat with Dr. Mathai Joseph: Internationally Renowned Author, Executive, Researcher, and Technology Advisor; Distinguished Computer Scientist », Canadian IT Manager's Blog, blogs.technet.com, (consulté le )
- « Former UNU-IIST Board Chair Prof. Mathai Joseph Publishes New Book on India's IT Development », punetech.com, Pune Tech, (consulté le )
- « Dr. Mathai Joseph », Microsoft Research (consulté le )
- « Finding response times in a real-time system », Google Scholar (consulté le )
- Joseph et Pandya, « Finding Response Times in a Real-Time System », The Computer Journal, vol. 29, , p. 390–395 (DOI 10.1093/comjnl/29.5.390)
- Liu et Joseph, « Transformation of Programs for Fault-Tolerance », Formal Aspects of Computing, vol. 4, , p. 442–469 (DOI 10.1007/BF01211393)
- Liu et Joseph, « Specification and Verification of Fault-Tolerance, Timing, and Scheduling », ACM Transactions on Programming Languages and Systems, vol. 21, , p. 46–89 (DOI 10.1145/314602.314605)
- Kabra, « Book: Digital Republic: India's rise to IT Power — by Mathai Joseph », punetech.com, Pune Tech,
- Robinson et Bowen, « Digital Republic: India's rise to IT Power – by Mathai Joseph », Book Reviews, British Computer Society, (consulté le )
- Joseph et Robinson, « Policy: Free Indian science », Nature, vol. 508, no 7494, , p. 36–38 (PMID 24707526, DOI 10.1038/508036a)
Liens externes
modifier- Ressources relatives à la recherche :
- Site web de Mathai Joseph
- Turing100 @ Persistent: Partie 2, conférencier principal - Dr Mathai Joseph sur YouTube