Mathai Joseph

Mathai Joseph es un científico informático y autor indio. ^{[ 3 ]}

Joseph estudió una licenciatura en física en Wilson College ( Mumbai , India, 1962) y una maestría en la misma materia en la Universidad de Bombay en 1964. ^{[ 4 ]} Posteriormente estudió un diploma de posgrado en electrónica en el Welsh College of Advanced Technology (1965) y luego realizó un doctorado en informática en Churchill College, Cambridge, bajo la supervisión de David Wheeler ^{[ 2 ]} (otorgado en 1968).

De 1968 a 1985, Joseph trabajó en programación como becario e investigador principal en el Instituto Tata de Investigación Fundamental (Mumbai, India) y luego se convirtió en profesor de informática en la Universidad de Warwick en Inglaterra durante 12 años (1985-1997). ^{[ 4 ]} Regresó a la India en 1997. Luego trabajó en la industria como director ejecutivo en el Centro de Investigación, Desarrollo y Diseño de Tata ( Pune ) y como vicepresidente ejecutivo en Tata Consultancy Services (1997-2007).

Joseph fue profesor visitante en la Universidad Carnegie-Mellon (1980-81), la Universidad Tecnológica de Eindhoven (1990-92), la Universidad de Warwick (1997-98) y la Universidad de York (2001-04). ^{[ 4 ]} Fue presidente de la junta directiva de UNU-IIST (2004-06, Universidad de las Naciones Unidas , Macao). ^{[ 5 ]} Joseph fue la primera persona de la India en ser elegida para el Consejo de la ACM . ^{[ 6 ]} Además, fue miembro del Consejo de la ACM India hasta 2012. Presidió el Comité de Educación de la ACM India hasta 2014.

El principal interés de investigación de Mathai Joseph se centra en el área de métodos formales relacionados con sistemas informáticos , incluidos los sistemas en tiempo real . Su artículo más citado, " Finding Response Times in a Real-Time System ", con más de 1500 citas en Google Scholar en 2021, ^{[ 7 ]} fue un trabajo conjunto con Paritosh Pandya , publicado en The Computer Journal en 1986. ^{[ 8 ]} Este artículo ganó un premio Test-of-Time 2020, anunciado en el 27.º Simposio IEEE sobre Tecnología y Aplicaciones en Tiempo Real y Sistemas Embebidos (RTAS 2021). ^{[ 1 ]}

El trabajo conjunto de Joseph con Zhiming Liu sobre tolerancia a fallos proporciona un modelo formal que define con precisión las nociones de fallo , error , avería y tolerancia a fallos , así como sus relaciones. También proporciona las propiedades que modelan los programas afectados por fallos y los programas tolerantes a fallos en términos de transformaciones. Juntos, propusieron un proceso de diseño para sistemas tolerantes a fallos a partir de las especificaciones y el análisis de requisitos, la identificación y el análisis del entorno de fallos, la especificación del diseño afectado por fallos y la verificación de la tolerancia a fallos para la satisfacción de las especificaciones de requisitos. ^{[ 9 ] [ 10 ]}

Joseph es el autor de Digital Republic , unas memorias personales que también describen el desarrollo de la tecnología de la información en la India y los problemas que conlleva. ^{[ 5 ] [ 11 ] [ 12 ]} Está interesado en mejorar la ciencia en la India. ^{[ 13 ]}

• Joseph, Mathai; Shyamasundar, RK, eds. (1984). Fundamentos de la tecnología del software y la informática teórica, Cuarta Conferencia, Bangalore, India, 13-15 de diciembre de 1984, Actas . Lecture Notes in Computer Science . Vol.  181. Springer-Verlag . ISBN 978-3-540-13883-9.
• Joseph, Mathai, ed. (1988). Técnicas formales en sistemas en tiempo real y tolerantes a fallos, Actas de un simposio, Warwick, Reino Unido, 22-23 de septiembre de 1988. Lecture Notes in Computer Science. Vol.  331. Springer-Verlag. ISBN 978-3-540-50302-6.
• Joseph, Mathai, ed. (1996). Sistemas en tiempo real: especificación, verificación y análisis . Serie internacional en ciencias de la computación . Prentice Hall . ISBN 978-0-13-455297-2.
• Joseph, Mathai (2013). República digital: El ascenso de la India al poder tecnológico . Power Publishers. ISBN 978-9-382-79257-4.^{[ 12 ]}
• Joseph, Mathai (2017). Muerto para la razón . Amazon Kindle . ISBN 978-1-520-65591-8.

• Sitio web de Mathai Joseph
• Mathai Joseph en el servidor de bibliografía DBLP
• Publicaciones de Mathai Joseph indexadas por Google Académico
• Turing100@Persistent: Parte 2, Ponente principal: Dr. Mathai Joseph en YouTube