stringtranslate.com

Mathai José

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

Vida temprana y educación

Joseph estudió una licenciatura en física en el Wilson College ( Mumbai , India, 1962) y una maestría en la misma materia en la Universidad de Mumbai 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 el Churchill College, Cambridge bajo la supervisión de David Wheeler [2] (otorgado en 1968).

De 1968 a 1985, Joseph trabajó en programación como investigador y científico principal en el Instituto Tata de Investigación Fundamental (Bombay, India) y luego se convirtió en profesor de informática en la Universidad de Warwick en Inglaterra durante 12 años (1985-97). [4] Regresó a la India en 1997. Luego trabajó en la industria como Director Ejecutivo en el Centro de Diseño y Desarrollo de Investigación de Tata ( Pune ) y como Vicepresidente Ejecutivo en Tata Consultancy Services (1997-2007). [ cita requerida ]

Carrera

Joseph fue profesor visitante en la Universidad Carnegie-Mellon (1980-1981), la Universidad Tecnológica de Eindhoven (1990-1992), la Universidad de Warwick (1997-1998) y la Universidad de York (2001-2004). [4] Fue presidente de la junta directiva de UNU-IIST (2004-2006, 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 los 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 integradas y en tiempo real (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 , falla y tolerancia a fallos , y 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 especificaciones y análisis de requisitos, identificación y análisis del entorno de fallos, especificación del diseño afectado por fallos y verificación de la tolerancia a fallos para la satisfacción de la especificación de requisitos. [9] [10]

Joseph es el autor de Digital Republic , una reminiscencia personal que también traza el desarrollo de la tecnología de la información en la India y los problemas involucrados. [5] [11] [12] Está interesado en mejorar la ciencia en la India. [13]

Libros

Referencias

  1. ^ ab "Premios TCRTS – Premios Test-of-Time 2020". RTAS 2021: 27.º Simposio sobre tecnología y aplicaciones integradas y en tiempo real del IEEE . Mayo de 2021. Consultado el 22 de mayo de 2021 .
  2. ^ ab Digital Republic , página 72.
  3. ^ Ibaraki, Stephen (27 de agosto de 2013). "Charla con el Dr. Mathai Joseph: autor, ejecutivo, investigador y asesor tecnológico de renombre internacional; científico informático distinguido". Blog del gerente de TI canadiense . blogs.technet.com . Consultado el 25 de enero de 2013 .
  4. ^ abc Ibaraki, Stephen (11 de enero de 2010). "Dr. Mathai Joseph: Renowned Executive, Researcher, Distinguished Scientist shares his deep insights into computing, research, careers, trends" (El Dr. Mathai Joseph: un prestigioso ejecutivo, investigador y científico distinguido comparte sus profundos conocimientos sobre informática, investigación, carreras y tendencias). Canadian IT Manager's Blog (Blog del director de TI canadiense ). blogs.technet.com . Consultado el 25 de enero de 2013 .
  5. ^ ab "El ex presidente de la junta directiva de UNU-IIST, el profesor Mathai Joseph, publica un nuevo libro sobre el desarrollo de TI en India". punetech.com . Pune Tech. 2 de mayo de 2013. Archivado desde el original el 19 de febrero de 2014 . Consultado el 25 de enero de 2014 .
  6. ^ "Dr. Mathai Joseph". Microsoft Research . Consultado el 26 de enero de 2014 .
  7. ^ "Encontrar tiempos de respuesta en un sistema en tiempo real". Google Scholar . Consultado el 24 de mayo de 2021 .
  8. ^ Joseph, Mathai; Pandya, Paritosh (1986). "Cómo encontrar tiempos de respuesta en un sistema en tiempo real". The Computer Journal . 29 (5): 390–395. doi : 10.1093/comjnl/29.5.390 .
  9. ^ Liu, Zhiming ; Joseph, Mathai (1992). "Transformación de programas para tolerancia a fallos" (PDF) . Aspectos formales de la informática . 4 (5): 442–469. doi :10.1007/BF01211393. S2CID  16116422.
  10. ^ Liu, Zhiming ; Joseph, Mathai (1999). "Especificación y verificación de tolerancia a fallos, temporización y programación". ACM Transactions on Programming Languages ​​and Systems . 21 (1): 46–89. CiteSeerX 10.1.1.54.2264 . doi :10.1145/314602.314605. S2CID  12975945. 
  11. ^ Kabra, Navin (14 de mayo de 2013). "Libro: Digital Republic: India's rise to IT Power — por Mathai Joseph". punetech.com . Pune Tech.
  12. ^ ab Robinson, Andrew ; Bowen, Jonathan (enero de 2014). "Digital Republic: India's rise to IT Power – by Mathai Joseph". Reseñas de libros . British Computer Society . Archivado desde el original el 3 de febrero de 2014 . Consultado el 3 de febrero de 2014 – vía Archive.org .
  13. ^ Joseph, Mathai; Robinson, Andrew (2 de abril de 2014). "Política: Ciencia india libre". Nature . 508 (7494): 36–38. doi : 10.1038/508036a . PMID  24707526.

Enlaces externos