Barbara G. Ryder es una científica informática estadounidense conocida por su investigación sobre lenguajes de programación y, más específicamente, los fundamentos teóricos y la investigación empírica del análisis en tiempo de compilación entre procedimientos.
Barbara Gershon Ryder | |
---|---|
Nacionalidad | americano |
alma mater | Universidad de Rutgers Universidad de Stanford Universidad de Brown |
Conocido por | lenguajes de programación |
Premios | Becario ACM (1998) |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad Virginia Tech Rutgers |
Sitio web | personas |
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.
Luego se unió al Departamento de Ciencias de la Computación de la Universidad de Rutgers como profesora asistente en 1982. Mientras estuvo allí, fue promovida a profesora asociada en 1988 y a profesora en 1994. En 2008, se mudó a Virginia Tech como jefa del Departamento de Ciencias de la Computación. .
Premios
En 1998 fue nombrada miembro de la ACM . [1]
Sus otros premios notables incluyen:
Referencias
- ↑ a b Association for Computing Machinery (17 de agosto de 2013). "PREMIOS ACM" . ACM . Consultado el 17 de agosto de 2013 .
- ^ Asociación de Maquinaria de Computación SIGPLAN (2013-08-17). "Premio al Servicio Distinguido 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 aliasing de puntero entre procedimientos". 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