WikiDer > Барбара Г. Райдер
Барбара Гершон Райдер | |
---|---|
Национальность | Американец |
Альма-матер | Университет Рутгерса Стэндфордский Университет Брауновский университет |
Известен | языки программирования |
Награды | Член ACM (1998) |
Научная карьера | |
Поля | Информатика |
Учреждения | Технологический институт Вирджинии Университет Рутгерса |
Интернет сайт | люди |
Барбара Г. Райдер американец Специалист в области информатики отметился своим исследованием языки программирования и, более конкретно, теоретические основы и эмпирические исследования межпроцедурного анализа времени компиляции.
биография
Райдер получил А.Б. в Прикладная математика из Брауновский университет в 1969 году. Она получила РС. в Информатика из Стэндфордский Университет в 1971 г. и Кандидат наук вИнформатика из Университет Рутгерса в 1982 г.
Затем она поступила на факультет компьютерных наук в Университет Рутгерса в 1982 г. занимала должность доцента. В 1988 г. она была назначена доцентом, а в 1994 г. - профессором. В 2008 г. она перешла в Технологический институт Вирджинии как заведующий кафедрой компьютерных наук.
Награды
В 1998 году она была названа ACM Парень.[1]
Среди ее других заметных наград:
- Бумага PLDI'92 была выбрана для конкурса Best of PLDI Collection 1970–1996 в апреле 2003 г.[3] Статья называлась: «Безопасный приближенный алгоритм для межпроцедурного наложения указателей».[4]
Рекомендации
- ^ а б Ассоциация вычислительной техники (2013-08-17). «ACM AWARDS». ACM. Получено 2013-08-17.
- ^ Ассоциация вычислительной техники SIGPLAN (2013-08-17). «Приз за выдающиеся заслуги SIGPLAN». СИГПЛАН. Получено 2013-08-17.
- ^ ACM SIGPLAN. "20 лет PLDI (1979–1999) Подборка". СИГПЛАН. Получено 2013-08-17.
- ^ Уильям Ланди и Барбара Г. Райдер (1992). "Безопасный приближенный алгоритм межпроцедурного наложения указателя". Материалы конференции ACM SIGPLAN по проектированию и реализации языков программирования: 235–248.
внешняя ссылка
- Технологический институт Вирджинии: Барбара Райдер, Департамент компьютерных наук