Prakash Panangaden es un científico informático estadounidense/canadiense conocido por su investigación en teoría del lenguaje de programación , teoría de la concurrencia , procesos de Markov y teoría de la dualidad . Anteriormente trabajó en la teoría cuántica de campos en el espacio-tiempo curvo y en la radiación de los agujeros negros. Es el presidente fundador del Grupo de Interés Especial sobre Lógica y Computación de ACM ( ACM SIGLOG ). [2]
Prakash Panangaden nació en Pune, India, el 11 de marzo de 1954. Asistió a la escuela en Calcutta Boys' School , Kolkata. Recibió un doctorado de la Universidad de Wisconsin-Milwaukee bajo la supervisión de Leonard Parker . [3] Su tesis doctoral versó sobre la renormalización de campos interactivos 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 incorporó 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 más importantes en este campo: LICS [8] e ICALP . [9]
En 2017, el comité del premio Test-of-Time, formado por Christel Baier , Amy Felty (presidenta), Andrew Pitts y Nicole Schweikardt, eligió el artículo Bisimulación para procesos etiquetados de Markov (de Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden) como uno de los dos artículos de LICS 1997 que ha tenido mayor impacto en los 20 años transcurridos desde su publicación. [10] En 2013, Prakash Panagaden fue elegido FRSC . [11] Su cita dice: "La carrera investigadora de Prakash Panangaden ha abarcado ciencias de la computación, matemáticas y 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 dominio y el estado continuo. Procesos de Markov en los que é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 una estructura causal utilizando ideas matemáticas de lenguajes de programación.
Su comunidad de investigación lo honró en su 60 cumpleaños. Hubo un simposio de tres días, llamado PrakashFest, celebrado en la Universidad de Oxford [12] y Springer-Verlag publicó un Festschrift. [13] El resumen del Festschrift dice: "Este volumen del Festschrift contiene ponencias presentadas 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 sobre una gran variedad de temas que incluyen computación probabilística y concurrente, lógica y dualidad e información y computación cuántica. A pesar de la enorme amplitud de su investigación, ha realizado contribuciones significativas y profundas. Por ejemplo, introdujo la lógica y una interpretación de valor real. la lógica para capturar cuantitativamente la equivalencia de procesos probabilísticos."
En 1999 recibió el Premio Leo Yaffe de la Facultad de Ciencias de la Universidad McGill por su excelencia en la enseñanza. [14]
En 2016 recibió el Premio Principal a la Excelencia en la Enseñanza de la Universidad McGill. [15] En 2022, la Facultad de Ingeniería de la Universidad McGill le otorgó el Premio a la Docencia Sobresaliente de la Promoción de 1890. [16] También es miembro de 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}}
: Citar diario requiere |journal=
( ayuda )