Брент Хэйлперн
Брент Хэйлперн | |
---|---|
Образование | Денверский университет , Стэнфордский университет |
Занятие | Компьютерный ученый |
Работодатель | IBM Исследования |
Известный | языки программирования, параллелизм , объектно-ориентированное программирование |
Заголовок | Директор по компьютерным наукам, IBM Research - Альмаден |
Брент Хэйлперн — учёный-компьютерщик, вышедший на пенсию из IBM Research . Его исследовательская работа была сосредоточена на языках программирования, разработке программного обеспечения и параллелизме.
Образование
[ редактировать ]Доктор Хейлперн получил степень бакалавра математики с отличием в Денверском университете ( Денвер, Колорадо ) в 1976 году, а также степень магистра и доктора философии. Степени в области компьютерных наук Стэнфордского университета ( Стэнфорд, Калифорния ) в 1978 и 1980 годах соответственно. Его диссертация называлась «Проверка параллельных процессов с использованием темпоральной логики». [1]
Карьера в IBM
[ редактировать ]Доктор Хейлперн присоединился к Исследовательскому центру IBM T.J. Watson ( Йорктаун-Хайтс, Нью-Йорк ) в качестве научного сотрудника в 1980 году. Он работал и руководил различными проектами, связанными с проблемами параллельной обработки и языков программирования. В 1987 году он основал отдел языков программирования и основ программирования в качестве его старшего менеджера. В 1989 году он стал старшим менеджером отдела программного обеспечения Research. В 1990 году д-р Хейлперн присоединился к отделу разработки технической стратегии в штаб-квартире корпорации IBM ( Армонк, Нью-Йорк ), а в 1991 году вернулся в исследовательский отдел, где занимал должность старшего технического консультанта вице-президента исследовательского отдела по системам и программному обеспечению.
В 1992 году он стал программным директором и старшим менеджером отдела структур операционных систем, где он координировал совместные программы исследовательского отдела с подразделением IBM AS/400 и подразделением персональных программных продуктов. Отдел, которым он руководил, исследовал вопросы принципов работы операционных систем, файловых систем и мультимедийных серверов. В 1995 году он стал руководителем отдела программных систем, а в 1996 году — отдела интернет-технологий. Он координировал отношения исследовательского отдела с Lotus Software и IBM Pervasive Computing Division. Он отвечал за группу отделов, занимающихся рабочим процессом, производительностью интернет-серверов, интернет-программным обеспечением для школьного образования, электронной почтой и приложениями/промежуточным программным обеспечением для карманных компьютеров. Он также был менеджером по клиентским продуктам продукта IBM NetVista. В 1996 году он получил награду IBM за выдающиеся инновации за вклад в разработку продукта IBM NetVista.
С 1999 по 2004 год он был заместителем директора по компьютерным наукам в IBM Research . В 2004 году он стал руководителем группы департаментов по технологиям программного обеспечения, где в качестве директора по моделям и инструментам программирования руководил отделами, исследующими технологии программирования, разработку программного обеспечения и инструменты для непрограммистов. Он переехал в исследовательский центр в Сан-Хосе в октябре 2011 года на должность директора по компьютерным наукам.
Он ушел из IBM в конце 2019 года и в настоящее время работает профессором в дополнительном кампусе Северо-Восточного университета в Силиконовой долине.
Ассоциации, конференции и журналы
[ редактировать ]Доктор Хайльперн является автором множества публикаций. [2] и патенты США, [3] наряду с многочисленными докладами конференций и главами книг. Он бывший секретарь ACM , бывший председатель специальной группы ACM по языкам программирования ( SIGPLAN ). [4] и член ACM [5] и IEEE . [6] В 1998 году он получил награду SIGPLAN за выдающиеся заслуги. [7] Он был председателем конференции SIGPLAN '91 по разработке и реализации языков программирования ( Торонто , Онтарио, Канада) и председателем конференции SIGPLAN OOPSLA '99. [8] ( Денвер, Колорадо ). В настоящее время он является сопредседателем конференции SIGPLAN по истории языков программирования (HOPL-III). [9] Он был членом программных комитетов конференции SIGPLAN '92 PLDI, Второй конференции ACM по истории языков программирования, Международной конференции IEEE 1993 года по распределенным вычислениям, симпозиума AAAI99 по планированию на основе модальной и временной логики для открытых сетевых мультимедийных систем. и Первая международная конференция по сервис-ориентированным вычислениям. Он был председателем выставки на конференции ACM Multimedia 95 и рекламным председателем конференции OOPSLA 97 ACM SIGPLAN. [10] Он был региональным директором SIGboard ACM (1995–1996), членом редакционной коллегии журнала IEEE Computer (1989–1992) и членом Руководящего комитета OOPSLA (1998–2003, председатель: 1999–2002, в прошлом кафедра 2002–2003 гг.). Он был заместителем редактора журнала ACM Transactions on Programming Languages and Systems (TOPLAS: 2001–2007). Он был со-приглашенным редактором специального выпуска IBM Systems Journal, посвященного тестированию и проверке программного обеспечения (2002 г.). [11] и специального выпуска IBM Systems Journal, посвященного разработке на основе моделей (2006 г.). [12]
Персональный
[ редактировать ]Доктор Хейлперн был попечителем бесплатного школьного округа Союза Катона-Льюисборо с июля 2002 года по июнь 2005 года. Он был вице-президентом школьного совета с июля 2003 года по июнь 2004 года.
Ссылки
[ редактировать ]- ^ «Брент Хэйлперн» . Колледж компьютерных наук Хури . Проверено 20 ноября 2023 г.
- ^ «Брент Т. Хейлперн - Профиль автора ACM» . АКМ.
- ^ «Результаты поиска в патентной базе данных: IN/»Hailpern; Брент" " . Ведомство США по патентам и товарным знакам.
- ^ «Уведомления ACM SIGPLAN» (PDF) . СИГПЛАН АСМ. 1994.
- ^ «Стипендиаты ACM» . АКМ.
- ^ «Стипендиаты IEEE в регионе 1 на северо-востоке США» . IEEE. Архивировано из оригинала 27 сентября 2009 г. Проверено 27 ноября 2009 г.
- ^ «Обладатели награды SIGPLAN за выдающиеся заслуги» . СИГПЛАН АСМ. 1998. Архивировано из оригинала 24 июля 2011 г.
- ^ «Конференция OOPSLA '99 и программные комитеты» . СИГПЛАН АСМ. 1999.
- ^ Материалы третьей конференции ACM SIGPLAN по истории языков программирования . СИГПЛАН АСМ. 2007.
- ^ «Конференция OOPSLA '97 и программные комитеты» . СИГПЛАН АСМ. 1997.
- ^ «IBM Systens Journal, «Отладка, тестирование и проверка программного обеспечения» » . ИБМ. 2002.
- ^ «Журнал IBM Systens, «Разработка на основе моделей: хорошее, плохое и ужасное» » . ИБМ. 2006.
Внешние ссылки
[ редактировать ]- Список публикаций на портале ACM