Prakash Panangaden
De Wikipedia, la enciclopedia libre
Saltar a navegación Saltar a búsqueda
Prakash Panangaden
Prakash-panangaden.jpg
Prakash Panangaden en 2014
Nació( 03/11/1954 )11 de marzo de 1954
Pune , Maharashtra , India
NacionalidadEstadounidense / canadiense
alma materIIT Kanpur
University of Chicago
University of Wisconsin – Milwaukee
University of Utah
Conocido porProcesos de Markov , la programación de la teoría del lenguaje , teoría de la concurrencia y la teoría cuántica de campos en espacio-tiempo curvo
PremiosPremio LICS Test-of-Time (2017), Miembro de la Royal Society of Canada (2013), Premio Leo Yaffe a la enseñanza sobresaliente (1999)
Carrera científica
Los camposCiencias de la Computación , Física
InstitucionesUniversidad de Cornell , Universidad McGill
Asesor de doctoradoLeonard Parker
Sitio webwww .cs .mcgill .ca / ~ prakash

Prakash Panangaden es un científico informático estadounidense / canadiense conocido por su investigación en la teoría del lenguaje de programación , la teoría de la concurrencia , los procesos de Markov y la teoría de la dualidad . Anteriormente trabajó en la teoría cuántica de campos en el espacio-tiempo curvo y la radiación de los agujeros negros. Es el presidente fundador del Grupo de Interés Especial de ACM en Lógica y Computación ( ACM SIGLOG ). [1]

Biografía

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 . [2] Su tesis doctoral fue sobre la renormalización de campos interactuantes en el espacio-tiempo curvo. [3]

Prakash ha graduado con éxito a 14 estudiantes y tiene un total de 36 descendientes académicos. [4]

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. [5] Se trasladó a la Universidad McGill como profesor asociado en la Escuela de Ciencias de la Computación en 1990 y fue ascendido a profesor en 1996. [6]

Ha sido orador principal en muchas conferencias, incluidas las dos principales conferencias en el campo: LICS [7] e ICALP . [8]

Premios

En 2017, el Comité del Premio Test-of-Time, formado por Christel Baier , Amy Felty (presidenta), Andrew Pitts y Nicole Schweikardt, eligió el papel Bisimulation para procesos etiquetados de Markov (por Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden) como uno de los dos artículos de LICS 1997 que ha tenido el mayor impacto en los 20 años transcurridos desde su publicación. [9] En 2013, Prakash Panagaden fue elegido FRSC . [10]Su cita dice: "La carrera de investigación 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 conexiones profundas entre la teoría de dominio 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 lenguajes de programación ".

Fue honrado en su 60 cumpleaños por su comunidad de investigadores. Hubo un simposio de tres días, llamado PrakashFest, celebrado en la Universidad de Oxford [11] y Springer-Verlag publicó un Festschrift. [12]El resumen del Festschrift dice: "Este volumen del Festschrift contiene artículos presentados en una conferencia, Prakash Fest, celebrada en honor a Prakash Panangaden, en Oxford, Reino Unido, en mayo de 2014, para celebrar su 60 cumpleaños. Prakash Panangaden ha trabajado en una gran una 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 hecho contribuciones significativas y profundas. Por ejemplo, introdujo la lógica y una interpretación valiosa de la lógica para capturar la equivalencia de procesos probabilísticos cuantitativamente ".

En 1999 fue galardonado con el Premio Leo Yaffe de la Facultad de Ciencias de la Universidad McGill por su excelencia en la enseñanza. [13]

Referencias

  1. ^ Asociación de maquinaria informática. "Junta de Gobierno de SIG" . Consultado el 5 de abril de 2015 .
  2. ^ Proyecto de genealogía de las matemáticas. "Genealogía científica de Leonard Emanuel Parker" . Consultado el 29 de julio de 2015 .
  3. ^ Prakash Panangaden (1980). "Propagadores y renormalización de la teoría cuántica de campos en espaciotiempos curvos". Código Bibliográfico : 1980PhDT ........ 34P . Cite journal requiere |journal=( ayuda )
  4. ^ Proyecto de genealogía de las matemáticas. "Genealogía científica de Prakash Panangaden" . Consultado el 30 de julio de 2015 .
  5. ^ Constable; et al. (1986). "Implementación de las matemáticas con el sistema de desarrollo de pruebas Nuprl" . Consultado el 30 de julio de 2015 .
  6. ^ "Escuela de Ciencias de la Computación McGill: lista de miembros de la facultad" . Consultado el 30 de julio de 2015 .
  7. ^ "Charla invitada a LICS" . LICS . Consultado el 26 de julio de 2015 .
  8. ^ "Charla invitada ICALP 2006" . EATCS . Consultado el 26 de julio de 2015 .
  9. ^ http://delivery.acm.org/10.1145/3130000/3129175/p10-award.pdf?ip=128.16.15.55&id=3129175&acc=ACTIVE%20SERVICE&key=BF07A2EE685417C5%2ED93309013A15C57B%2EF4DFF1440884D1DA%2E4D4702B0C3E38B35&__acm__=1538754649_af5f473a61f7e0b2727037dd99ed3849
  10. ^ Real Sociedad de Canadá. "Lista de nuevos becarios de la promoción de 2013" (PDF) . Consultado el 5 de abril de 2015 .
  11. ^ Departamento de Ciencias de la Computación, Universidad de Oxford (23 de mayo de 2014). "PrakashFest" . Consultado el 5 de abril de 2015 .
  12. ^ "Horizontes de la mente: un tributo a Prakash Panangaden" . Springer-Verlag . Consultado el 5 de abril de 2015 .
  13. ^ Facultad de Ciencias, Universidad McGill. "Premio Leo Yaffe a la excelencia en la docencia" . Consultado el 5 de abril de 2015 .

enlaces externos

  • Universidad McGill: Prakash Panangaden, Facultad de Ciencias de la Computación
  • Académico de Google: Prakash Panangaden, Académico de Google
Obtenido de " https://en.wikipedia.org/w/index.php?title=Prakash_Panangaden&oldid=1036627701 "
Contribute a better translation