Prakash Panangaden es un informático estadounidense/canadiense conocido por sus investigaciones en teoría de lenguajes de programación , teoría de concurrencia , procesos de Markov y teoría de dualidad . Anteriormente trabajó en teoría cuántica de campos en espacio-tiempo curvo y radiación de agujeros negros. Es el presidente fundador del Grupo de Interés Especial sobre Lógica y Computación de la ACM ( ACM SIGLOG ). [2]
Prakash Panangaden nació en Pune, India , el 11 de marzo de 1954. Asistió a la escuela Calcutta Boys' School , en Calcuta. Obtuvo un doctorado en la Universidad de Wisconsin-Milwaukee bajo la supervisión de Leonard Parker . [3] Su tesis doctoral versó sobre la renormalización de campos en interacción en el espacio-tiempo curvo. [4]
Prakash ha graduado con éxito a 19 estudiantes y tiene en total 41 descendientes académicos, 8 de los cuales son mujeres. [5]
Se unió al Departamento de Ciencias de la Computación de la Universidad de Cornell en 1985 como profesor asistente, donde trabajó en el proyecto Nuprl y fue coautor de un libro. [6] Se trasladó a la Universidad McGill como profesor asociado en la Facultad de Ciencias de la Computación en 1990 y fue ascendido a profesor en 1996. [7]
Ha sido orador principal en muchas conferencias, incluidas las dos conferencias más importantes en el campo: LICS [8] e ICALP . [9]
En 2017, el Comité del Premio Test-of-Time, compuesto por Christel Baier , Amy Felty (presidenta), Andrew Pitts y Nicole Schweikardt, eligió el artículo Bisimulation for Labelled Markov Processes (de Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden) como uno de los dos artículos de LICS 1997 que tuvo mayor impacto en los 20 años desde su publicación. [10] En 2013, Prakash Panagaden fue elegido FRSC . [11] Su cita dice: "La carrera de investigación de Prakash Panangaden ha abarcado la informática, las matemáticas y la física. Ha trabajado en lenguajes de programación, sistemas probabilísticos, computación cuántica y relatividad. Es particularmente conocido por las profundas conexiones entre la teoría de dominios y los procesos de Markov de estado continuo, donde él y sus colegas demostraron un sorprendente teorema de caracterización lógica. Él y Keye Martin descubrieron una forma notable de reconstruir la topología del espacio-tiempo a partir de la estructura causal utilizando ideas matemáticas de los lenguajes de programación".
Su comunidad de investigadores lo honró en su 60 cumpleaños. Se celebró un simposio de tres días, llamado PrakashFest, en la Universidad de Oxford [12] y Springer-Verlag publicó un Festschrift. [13] El resumen del Festschrift dice: "Este volumen del Festschrift contiene artículos presentados en una conferencia, Prakash Fest, celebrada en honor de Prakash Panangaden, en Oxford, Reino Unido, en mayo de 2014, para celebrar su 60 cumpleaños. Prakash Panangaden ha trabajado en una gran variedad de temas, incluidos la computación probabilística y concurrente, la lógica y la dualidad y la información y computación cuánticas. A pesar de la enorme amplitud de su investigación, ha hecho contribuciones significativas y profundas. Por ejemplo, introdujo la lógica y una interpretación de la lógica basada en valores reales para capturar la equivalencia de los procesos probabilísticos de manera cuantitativa".
En 1999 la Facultad de Ciencias de la Universidad McGill le concedió el Premio Leo Yaffe por su excelencia en la enseñanza. [14]
En 2016 recibió el Premio del Director a la Excelencia en la Enseñanza de la Universidad McGill. [15] En 2022 recibió el Premio a la Enseñanza Sobresaliente de la Clase de 1890 de la Facultad de Ingeniería de la Universidad McGill. [16] También es miembro de la ACM desde 2020. [17] En 2022 recibió nuevamente el prestigioso premio LICS Test of Time por un artículo conjunto de 2002 escrito con Josée Desharnais (Laval), Vineet Gupta (Google) y Radha Jagadeesan (Universidad De Paul). “El análogo métrico de la bisimulación débil para procesos probabilísticos” fue considerado uno de los dos artículos más influyentes de ese año después de 20 años. [18]
{{cite journal}}: Requiere citar revista |journal=( ayuda )