Jayadev Misra

Jayadev Misra es un informático nacido en India que ha desarrollado la mayor parte de su carrera profesional en Estados Unidos. Es catedrático emérito del centenario de Schlumberger en ciencias de la computación y profesor emérito de enseñanza universitaria distinguida en la Universidad de Texas en Austin . Profesionalmente es conocido por sus contribuciones a los aspectos formales de la programación concurrente y por encabezar conjuntamente, con Sir Tony Hoare , el proyecto sobre Verified Software Initiative (VSI).

Educación y carrera temprana

Misra recibió un B.Tech. en ingeniería eléctrica del IIT Kanpur , India en 1969 y un doctorado. en ingeniería eléctrica e informática de la Universidad Johns Hopkins , Baltimore, Maryland en 1972. Después de un breve período trabajando para IBM, se unió a la Universidad de Texas en Austin en 1974, donde ha permanecido durante toda su carrera, excepto por un año sabático que pasó en la Universidad de Stanford durante 1983-1984. Se retiró de la docencia activa en 2015.

Principales aportaciones profesionales

Misra y K. Mani Chandy han hecho una serie de contribuciones importantes en el área de la informática concurrente. Desarrollaron una notación de programación y una lógica, llamada UNITY , para describir cálculos concurrentes. Leslie Lamport dice: "El primer paso importante para ir más allá de los lenguajes de programación tradicionales y describir algoritmos concurrentes fue la Unidad de Misra y Chandy" ^[1] y "Misra y Chandy desarrollaron reglas de prueba para formalizar el estilo de razonamiento que se había desarrollado para demostrar la invariancia y propiedades conducentes. Unity proporcionó la formulación más elegante hasta el momento para estas pruebas". ^[2]

Misra y Chandy (e, independientemente, Randy Bryant ) han desarrollado un algoritmo conservador para la simulación distribuida de eventos discretos, que ahora se usa comúnmente en una variedad de áreas. También desarrollaron una serie de algoritmos fundamentales para la asignación de recursos (el problema de los filósofos bebedores), la detección de puntos muertos, algoritmos gráficos y una teoría de la transmisión del conocimiento en sistemas distribuidos. En colaboración con David Gries , Misra propuso el primer algoritmo para el problema de los pesos pesados . Misra propuso un conjunto de axiomas para el acceso concurrente a la memoria que subyacen a la teoría de la linealización.

El proyecto de investigación más reciente de Misra, llamado Orc , ^[3] intenta desarrollar un álgebra de computación concurrente que ayudará a integrar diferentes piezas de software para la ejecución concurrente.

Premios y honores

Becario IFIP , 2023. ^[4]
Miembro, Academia Nacional de Ingeniería , 2018. ^[5]
Premio en memoria de Harry H. Goode , IEEE, 2017.
Doctor Honoris Causa, École normale supérieure Paris-Saclay , Cachan, Francia, 2010. ^[6]
Beca Guggenheim , 1988.
Identificado como "investigador altamente citado" por Thomson Reuters ISI, 2004. ^[7]
Miembro de ACM , 1995. ^[8]
Miembro del IEEE , 1992. ^[9]
Alumno distinguido, IIT Kanpur , India , ^[10]
Miembro, TAMEST (Academia de Medicina, Ingeniería y Ciencias de Texas), 2018. ^[11]

Publicaciones Seleccionadas

Teorías efectivas en la práctica de programación , ACM Books, 2023
Diseño de programas paralelos: una fundación (con KM Chandy), 1988 ^[12]
Simulación distribuida de eventos discretos, 1986 ^[13]
Pruebas de redes de procesos (con Mani Chandy ), 1981 ^[14]
Detección distribuida de puntos muertos (con Mani Chandy y Laura M. Haas), 1983 ^[15]
El problema de los filósofos bebedores (con Mani Chandy ), 1984 ^[16]
Encontrar elementos repetidos (con David Gries ), 1982 ^[17]
Cómo aprenden los procesos (con Mani Chandy ), 1985 ^[18]
The Orc Programming Language (con D. Kitchin, A. Quark y W. Cook), 2009 ^[19]
Axiomas para el acceso a la memoria en sistemas de hardware asíncronos, 1986 ^[20]
Powerlist: una estructura para la recursividad paralela, 1994 ^[21]
Software verificado: teorías, herramientas, experimentos Visión de un proyecto de gran desafío (con Tony Hoare ), 2008 ^[22]

Referencias

^ Lamport, Leslie (mayo de 1994). La lógica temporal de las acciones (informe técnico) (Transacciones ACM sobre lenguajes y sistemas de programación 16 ed.). Microsoft. 79.
^ Lamport, Leslie (1994). "Verificación y especificación de programas concurrentes". Sistemas distribuidos, métodos y herramientas de especificación. Un curso avanzado . Una década de reflexiones y perspectivas sobre la concurrencia. Apuntes de conferencias en informática (LNCS). vol. 803. Springer, Berlín, Heidelberg. pag. 352. doi :10.1007/3-540-58043-3_23.
^ "Lenguaje orco".
^ "IFIP anuncia premios 2023". IFIP . 26 de octubre de 2023. Archivado desde el original el 3 de noviembre de 2023 . Consultado el 3 de noviembre de 2023 .
^ "Sitio web de la NAE - Dr. Jayadev Misra". NAE . Consultado el 3 de noviembre de 2023 .
^ "Docteur Honoris Causa ENS-PARIS-SACLAY".
^ "Dos profesores de UTCS entre los investigadores más citados | Departamento de Ciencias de la Computación". Departamento de Ciencias de la Computación, UT Austin . Archivado desde el original el 25 de diciembre de 2015 . Consultado el 3 de noviembre de 2023 .
^ "Becarios ACM". ACM . Consultado el 3 de noviembre de 2023 .
^ "Directorio de becarios del IEEE: listado cronológico". IEEE . Consultado el 3 de noviembre de 2023 .
^ "Exalumnos distinguidos premiados (DAA)". IIT Kanpur . Consultado el 3 de noviembre de 2023 .
^ "Miembros - TAMEST (Academia de Medicina, Ingeniería y Ciencias de Texas)". DOMÉSTICO . Archivado desde el original el 18 de octubre de 2023 . Consultado el 3 de noviembre de 2023 .
^ Chandy, K. Mani ; Misra, Jayadev (1988). Diseño de programas paralelos: una base . Addison-Wesley. ISBN 978-0-201-05866-6.
^ Misra, Jayadev (marzo de 1986). "Simulación distribuida de eventos discretos". Encuestas de Computación ACM . 18 (1): 39–65. doi :10.1145/6462.6485. S2CID 18130323.
^ Misra, Jayadev; Chandy, K. Mani (julio de 1981). "Pruebas de redes de procesos". Transacciones IEEE sobre ingeniería de software . SE-7 (4): 417–426. doi :10.1109/TSE.1981.230844. S2CID 15624919.
^ Chandy, K. Mani ; Misra, Jayadev; Haas, LAURA M. (mayo de 1983). "Detección distribuida de puntos muertos". Transacciones ACM en sistemas informáticos . 1 (2): 144-156. doi : 10.1145/357360.357365 . S2CID 9147318.
^ Chandy, K. Mani ; Misra, Jayadev (octubre de 1984). "El problema de los filósofos bebedores". Transacciones ACM sobre lenguajes y sistemas de programación . 6 (4): 632–646. doi : 10.1145/1780.1804 . S2CID 5922362.
^ Gries, David ; Misra, Jayadev (noviembre de 1982). "Encontrar elementos repetidos". Ciencia de la programación informática . 2 (2): 143-152. doi : 10.1016/0167-6423(82)90012-0 . hdl : 1813/6345 .
^ Chandy, K. Mani ; Misra, Jayadev (agosto de 1985). Cómo aprenden los procesos. PODC 85: Actas del cuarto Simposio anual de ACM sobre principios de informática distribuida. Minaki, Ontario, Canadá: Asociación de Maquinaria de Computación. págs. 204-214. doi :10.1145/323596.323615.
^ Kitchin, David; Quark, Adrián; Cocinero, William; Misra, Jayadev (2009). "El lenguaje de programación orco". En David Lee; Antonio Lopes; Arnd Poetzsch-Heffter (eds.). Apuntes de conferencias sobre informática . Técnicas formales para sistemas distribuidos, 11º grupo de trabajo conjunto IFIP 6.1. vol. 5522. Springer Verlag . págs. 204-214. doi : 10.1007/978-3-642-02138-1_1 .
^ Misra, Jayadev (enero de 1986). "Axiomas para el acceso a la memoria en sistemas de hardware asíncronos". Transacciones ACM sobre lenguajes y sistemas de programación . 8 (1): 142-153. doi : 10.1145/5001.5007 . S2CID 1326311.
^ Misra, Jayadev (noviembre de 1994). "Powerlist: una estructura para la recursividad paralela". Transacciones ACM sobre lenguajes y sistemas de programación . 16 (6): 1737–1767. doi : 10.1145/197320.197356 . S2CID 2913474.
^ Hoare, Tony ; Misra, Jayadev (2008). "Software verificado: teorías, herramientas, experimentos, visión de un proyecto de gran desafío". En B. Meyer, J. Woodcock (ed.). Software verificado: teorías, herramientas, experimentos. VSTTE 2005. Apuntes de conferencias sobre informática . vol. 4171. Springer Verlag . doi : 10.1007/978-3-540-69149-5_1 .