De Wikipedia, la enciclopedia libre
Ir a navegaciónSaltar a buscar
Mathai Joseph
Nació
India
Nacionalidadindio
alma materWilson College, Mumbai , Universidad de Bombay , Welsh College of Advanced Technology , Universidad de Cambridge
Conocido porSistemas en tiempo real ; métodos formales
PremiosPremio prueba de tiempo 2020 [1]
Carrera científica
Los camposCiencias de la Computación
InstitucionesUniversidad de Warwick , Instituto Tata de Investigación Fundamental
Asesor de doctoradoDavid Wheeler [2]
Estudiantes notablesParitosh Pandya , Zhiming Liu

Mathai Joseph es un destacado científico informático 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 Mumbai en 1964. [4] Más tarde estudió un diploma de posgrado en electrónica en el Welsh College of Advanced. Technology (1965) y luego realizó un doctorado en computación 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 miembro y científico 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 Diseño y Desarrollo de Investigación Tata ( Pune ) y como Vicepresidente Ejecutivo en Tata Consultancy Services (1997-2007).

Joseph fue profesor invitado 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 elegido miembro del Consejo de la ACM . [6] Además, fue miembro del Consejo de ACM India hasta 2012. Presidió el Comité de Educación de ACM India hasta 2014.

El principal interés de investigación de Mathai Joseph está 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 1.500 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 de 2020, anunciado en el 27 ° Simposio de aplicaciones y tecnologías integradas y en tiempo real de IEEE (RTAS 2021). [1]

El trabajo conjunto de Joseph con Zhiming Liu sobre tolerancia a fallas proporciona un modelo formal que define con precisión las nociones de falla , error , falla y tolerancia a fallas , y sus relaciones. También proporcionó las propiedades que modelan los programas afectados por fallas y los programas tolerantes a fallas en términos de transformaciones. Juntos, propusieron un proceso de diseño para sistemas tolerantes a fallas a partir de especificaciones y análisis de requisitos, identificación y análisis del entorno de fallas, especificación del diseño afectado por fallas y verificación de tolerancia a fallas para el cumplimiento 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

  • José, Mathai; Shyamasundar, RK, eds. (1984). Fundamentos de la tecnología del software y la informática teórica, Cuarta Conferencia, Bangalore, India, 13 al 15 de diciembre de 1984, Actas . Apuntes de conferencias en Ciencias de la Computación . 181 . Springer-Verlag . ISBN 978-3-540-13883-9.
  • Joseph, Mathai, ed. (1988). Técnicas formales en sistemas en tiempo real y tolerantes a fallas, Actas de un simposio, Warwick, Reino Unido, 22 al 23 de septiembre de 1988 . Apuntes de conferencias en Ciencias de la Computación. 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.
  • José, Mathai (2013). República digital: el ascenso de la India al poder de las tecnologías de la información . www.power-publisher.com . Power Publishers. ISBN 978-93-82792-57-4.[12]
  • José, Mathai (2017). Muerto a la razón . ASIN: B01N80H1W4 . Amazon Kindle .

Referencias

  1. ^ a b "Premios TCRTS - Premios de prueba de tiempo 2020" . RTAS 2021: 27º Simposio de aplicaciones y tecnologías integradas y en tiempo real de IEEE . Mayo de 2021 . Consultado el 22 de mayo de 2021 .
  2. ↑ a b Digital Republic , página 72.
  3. ^ Ibaraki, Stephen (27 de agosto de 2013). "Charla con el Dr. Mathai Joseph: autor de renombre internacional, ejecutivo, investigador y asesor de tecnología; científico informático distinguido" . Blog de Canadian IT Manager . blogs.technet.com . Consultado el 25 de enero de 2013 .
  4. ↑ a b c Ibaraki, Stephen (11 de enero de 2010). "Dr. Mathai Joseph: renombrado ejecutivo, investigador, distinguido científico comparte sus profundos conocimientos sobre informática, investigación, carreras y tendencias" . Blog de Canadian IT Manager . blogs.technet.com . Consultado el 25 de enero de 2013 .
  5. ^ a b "El ex presidente de la junta de UNU-IIST, Prof. Mathai Joseph, publica un nuevo libro sobre el desarrollo de TI de la India" . punetech.com . Pune Tech. 2 de mayo de 2013 . Consultado el 25 de enero de 2014 .
  6. ^ "Dr. Mathai Joseph" . Investigación de Microsoft . Consultado el 26 de enero de 2014 .
  7. ^ "Encontrar tiempos de respuesta en un sistema de tiempo real" . Google Scholar . Consultado el 24 de mayo de 2021 .
  8. ^ José, Mathai; Pandya, Paritosh (1986). "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 fallas". 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 fallas, sincronización y programación". Transacciones ACM sobre lenguajes y sistemas de programación . 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: República digital: ascenso de la India al poder de las tecnologías de la información - por Mathai Joseph" . punetech.com . Pune Tech.
  12. ^ a b Robinson, Andrew ; Bowen, Jonathan (enero de 2014). "República digital: ascenso de la India al poder de las tecnologías de la información - por Mathai Joseph" . Reseñas de libros . Sociedad Británica de Computación . Consultado el 3 de febrero de 2014 , a través de Archive.org .
  13. ^ José, Mathai; Robinson, Andrew (2 de abril de 2014). "Política: ciencia india libre" . Naturaleza . 508 (7494): 36–38. doi : 10.1038 / 508036a . PMID 24707526 . 

Enlaces externos

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