stringtranslate.com

Barbara G. Ryder

Barbara G. Ryder es una científica informática estadounidense conocida por sus investigaciones sobre lenguajes de programación y, más específicamente, por los fundamentos teóricos y la investigación empírica del análisis interprocedimental en tiempo de compilación.

Biografía

Ryder recibió una licenciatura en matemáticas aplicadas de la Universidad de Brown en 1969. Recibió una maestría en ciencias de la computación de la Universidad de Stanford en 1971 y un doctorado en ciencias de la computación de la Universidad de Rutgers en 1982.

En 1982 se incorporó al Departamento de Ciencias de la Computación de la Universidad Rutgers como profesora adjunta. Allí fue ascendida a profesora asociada en 1988 y a catedrática en 1994. En 2008 se trasladó a Virginia Tech como jefa del Departamento de Ciencias de la Computación. Se jubiló en 2016.

Premios

En 1998 fue nombrada ACM Fellow. [1]

Otros premios notables que recibió incluyen:

Referencias

  1. ^ ab Association for Computing Machinery (17 de agosto de 2013). «ACM AWARDS». ACM . Consultado el 17 de agosto de 2013 .
  2. ^ Asociación para Maquinaria Informática SIGPLAN (17 de agosto de 2013). «Premio al Servicio Distinguido de SIGPLAN». SIGPLAN . Consultado el 17 de agosto de 2013 .
  3. ^ ACM SIGPLAN. «20 años de PLDI (1979–1999) Una selección». SIGPLAN . Consultado el 17 de agosto de 2013 .
  4. ^ William Landi y Barbara G. Ryder (1992). "Un algoritmo aproximado seguro para el alias de puntero interprocedimental". Actas de la Conferencia ACM SIGPLAN sobre diseño e implementación de lenguajes de programación : 235–248.

Enlaces externos