Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Американский учёный в области компьютерных наук Брент Хейлперн — учёный, вышедший на пенсию из IBM Research. Его исследовательская работа была посвящена языкам программирования, разработке программного обеспечения и параллелизму.
American computer scientist
Brent Hailpern is a computer scientist retired from IBM Research. His research work focused on programming languages, software engineering, and concurrency.
Образование
Доктор Хейлперн получил степень бакалавра наук с отличием (summa cum laude) в области математики в Университете Денвера (Денвер, Колорадо) в 1976 году, а также степени магистра и доктора философии в области компьютерных наук в Стэнфордском университете (Станфорд, Калифорния) в 1978 и 1980 годах соответственно. Название его диссертации: «Проверка параллельных процессов с использованием временной логики».
Dr. Hailpern received his B. S. degree, summa cum laude, in Mathematics from the University of Denver (Denver, Colorado) in 1976, and his M. S. and Ph. D. degrees in Computer Science from Stanford University (Stanford, California) in 1978 and 1980 respectively. His thesis was titled, "Verifying Concurrent Processes Using Temporal Logic".
Карьера в IBM
Доктор Хейлперн присоединился к исследовательскому центру IBM T. J. Watson (Йорктаун-Хайтс, Нью-Йорк) в качестве сотрудника исследовательского состава в 1980 году. Он работал над и руководил различными проектами, связанными с вопросами параллелизма и языков программирования. В 1987 году он основал отдел языков программирования и основ, заняв должность старшего менеджера. В 1989 году он стал старшим менеджером отдела программной среды исследований. В 1990 году доктор Хейлперн присоединился к штабу разработки технической стратегии в корпоративной штаб-квартире IBM (Армонк, Нью-Йорк), а в 1991 году вернулся в исследовательский отдел, где занимал должность старшего технического консультанта вице-президента по системам и программному обеспечению. В 1992 году он стал директором программы и старшим менеджером отдела структур операционных систем, координируя совместные программы исследовательского отдела с подразделениями AS/400 и персональных программных продуктов IBM. Отдел, которым он руководил, занимался исследованиями в области принципов операционных систем, файловых систем и мультимедийных серверов. В 1995 году он стал менеджером отдела программных систем, а в 1996 году – отдела интернет-технологий. Он координировал взаимодействие исследовательского отдела с Lotus Software и IBM Pervasive Computing Division. Он отвечал за группу отделов, занимающихся рабочими процессами, производительностью интернет-серверов, интернет-программным обеспечением для начального и среднего образования, электронной почтой и приложениями/промежуточным программным обеспечением для портативных компьютеров. Он также был менеджером по продуктам для IBM NetVista. В 1996 году он получил награду IBM за выдающиеся инновации за вклад в разработку IBM NetVista. С 1999 по 2004 год он был заместителем директора по компьютерным наукам в IBM Research. В 2004 году он стал менеджером группы департамента программных технологий, где, в качестве директора по моделям и инструментам программирования, руководил отделами, занимающимися технологиями программирования, разработкой программного обеспечения и инструментами для непрограммистов. В октябре 2011 года он перешел в исследовательский центр в Сан-Хосе на должность директора по компьютерным наукам. Он вышел на пенсию из IBM в конце 2019 года и в настоящее время работает профессором в кампусе Северо-Восточного университета в Кремниевой долине.
Dr. Hailpern joined the IBM T. J. Watson Research Center (Yorktown Heights, New York) as a Research Staff Member in 1980. He worked on and managed various projects relating to issues of concurrency and programming languages. In 1987, he founded the Programming Languages and Foundations Department as its senior manager. In 1989, he became the senior manager of Research's Software Environments Department. In 1990, Dr. Hailpern joined the Technical Strategy Development Staff in IBM Corporate Headquarters (Armonk, New York) returning to the Research Division in 1991, where he served as Senior Technical Consultant to the Research Division Vice President for Systems and Software. In 1992, he became Program Director and Senior Manager, Operating Systems Structures Department, where he coordinated the Research Division's joint programs with IBM's AS/400 Division and Personal Software Products Division. The department he managed researched issues of operating systems principles, file systems, and multimedia servers. In 1995, he became the Department Manager for the Software Systems Department and in 1996 for the Internet Technology Department. He coordinated the Research Division relationship with Lotus Software and the IBM Pervasive Computing Division. He was responsible for a group of departments covering workflow, internet server performance, Internet software for K 12 education, electronic mail, and applications/middleware for handheld computers. He was also the client product manager for the IBM NetVista product. In 1996, he received IBM's Outstanding Innovation Award for his contributions to the IBM NetVista product. From 1999 to 2004, he was the associate director of Computer Science for IBM Research. In 2004, he became the Department Group Manager for Software Technology, where, as Director of Programming Models and Tools, he managed departments researching Programming Technology, Software Engineering, and Tools for Non Programmers. He moved to the research center in San Jose in October 2011, as Director of Computer Science. He retired from IBM at the end of 2019 and currently works as a Professor for the Silicon Valley satellite campus of Northeastern University.
Ассоциации, конференции и журналы
Доктор Хейлперн является автором многочисленных публикаций и патентов США, а также множества докладов на конференциях и глав в книгах. Он был секретарем ACM, председателем Специальной группы ACM по языкам программирования (SIGPLAN), и является членом ACM и IEEE. В 1998 году он был удостоен награды SIGPLAN за выдающийся вклад в развитие. Он возглавлял конференцию SIGPLAN '91 по разработке и реализации языков программирования (Торонто, Онтарио, Канада) и конференцию OOPSLA '99 SIGPLAN (Денвер, Колорадо). В настоящее время он является сопредседателем конференции SIGPLAN по истории языков программирования (HOPL III). Он входил в программные комитеты конференций SIGPLAN '92 PLDI, Второй конференции ACM по истории языков программирования, Международной конференции IEEE 1993 года по распределенным вычислениям, симпозиума AAAI99 по планированию на основе модальной и временной логики для открытых сетевых мультимедийных систем и Первой международной конференции по сервисно-ориентированным вычислениям. Он был ответственным за выставку на конференции ACM Multimedia 95 и руководил рекламной кампанией конференции ACM SIGPLAN OOPSLA 97. Он был директором направления 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), и специального выпуска, посвященного разработке, управляемой моделями (2006).
Dr. Hailpern has authored many publications and United States patents, along with numerous conference papers and book chapters. He is a past Secretary of the ACM, a past Chair of the ACM Special Interest Group on Programming Languages (SIGPLAN) and a Fellow of the ACM and the IEEE. In 1998, he received SIGPLAN's Distinguished Service Award. He was the chair of the SIGPLAN '91 Conference on Programming Language Design and Implementation (Toronto, Ontario, Canada) and was chair of SIGPLAN's OOPSLA '99 Conference (Denver, Colorado). He is currently the co chair of SIGPLAN's History of Programming Languages Conference (HOPL III). He was a member of the program committees for the SIGPLAN '92 PLDI Conference, the Second ACM History of Programming Languages Conference, the 1993 IEEE International Conference on Distributed Computing, the AAAI99 Symposium on Modal and Temporal Logic based Planning for Open Networked Multimedia Systems, and the First International Conference on Service Oriented Computing. He was the exhibits chair for ACM's Multimedia 95 Conference and was the publicity chair for ACM SIGPLAN's OOPSLA 97 Conferenece. He was an Area Director of ACM's SIGboard (1995–1996), a member of the editorial board for IEEE's Computer magazine (1989–1992), and a member of the OOPSLA Steering Committee (1998–2003, chair: 1999–2002, past chair 2002–2003). He was an Associate Editor for ACM's Transactions on Programming Languages and Systems (TOPLAS: 2001–2007). He was co Guest Editor of the IBM Systems Journal special issue on Software Testing and Verification (2002) and of the IBM Systems Journal special issue on Model Driven Development (2006).
Личное
Доктор Хейлперн был членом совета попечителей объединенного школьного округа Катона-Льюисборо с июля 2002 года по июнь 2005 года. С июля 2003 года по июнь 2004 года он занимал должность вице-президента школьного совета.
Dr. Hailpern was a Trustee of the Katonah Lewisboro Union Free School District from July 2002 to June 2005. He was Vice President of the School Board from July 2003 to June 2004.