Científico informático estadounidense
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:
- Premio Presidencial ACM (2008) [1]
- Premio al Servicio Distinguido ACM SIGPLAN (2001) [2]
- El artículo PLDI'92 fue seleccionado como Mejor Colección PLDI 1970-1996 en abril de 2003. [3] El artículo se tituló: Un algoritmo aproximado seguro para el alias de puntero interprocedimental. [4]
Referencias
- ^ ab Association for Computing Machinery (17 de agosto de 2013). «ACM AWARDS». ACM . Consultado el 17 de agosto de 2013 .
- ^ 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 .
- ^ ACM SIGPLAN. «20 años de PLDI (1979–1999) Una selección». SIGPLAN . Consultado el 17 de agosto de 2013 .
- ^ 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
- Virginia Tech: Barbara Ryder, Departamento de Ciencias de la Computación