Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы 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.
Білім
Доктор Хейлперн 1976 жылы Денвер университетінен (Денвер, Колорадо) математика саласында summa cum laude көрсеткішімен B.S. дәрежесін алды, ал 1978 және 1980 жылдары Стенфорд университетінен (Стенфорд, Калифорния) Компьютерлік ғылымдар бойынша M.S. және Ph. D. дәрежелерін алды. Оның диссертациясының тақырыбы: "Уақытша логика қолданып, параллель процестерді тексеру".
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-дегі мансабы
1980 жылы доктор Хайлперн IBM T. J. Уотсон ғылыми-зерттеу орталығына (Йорктаун-Хайтс, Нью-Йорк) ғылыми қызметкер ретінде қабылданды. Ол бірмезгілік және бағдарламалау тілдеріне қатысты әртүрлі жобалармен айналысып, оларды басқарды. 1987 жылы ол Бағдарламалау тілдері және негіздер бөлімін құрып, оның аға менеджері болды. 1989 жылы Research бағдарламалық қамтамасыз ету ортасы бөлімінің аға менеджері қызметін атқарды. 1990 жылы доктор Хайлперн IBM корпоративтік штаб-пәтерінде (Армонк, Нью-Йорк) Техникалық стратегияны дамыту тобына қосылды, ал 1991 жылы Ғылыми-зерттеу бөліміне оралып, жүйелер мен бағдарламалық қамтамасыз ету жөніндегі вице-президентінің аға техникалық кеңесшісі болды. 1992 жылы ол Операциялық жүйелер құрылымы бөлімінің бағдарлама директоры және аға менеджері болып тағайындалды, онда Ғылыми-зерттеу бөлімінің IBM AS/400 бөлімімен және Жеке бағдарламалық өнімдер бөлімімен бірлескен бағдарламаларын үйлестірді. Ол басқарған бөлім операциялық жүйелердің принциптері, файлдық жүйелер және мультимедиялық серверлер мәселелерін зерттеді. 1995 жылы Бағдарламалық жүйелер бөлімінің, ал 1996 жылы Интернет технологиялары бөлімінің меңгерушісі болды. Ол Lotus Software компаниясымен және IBM Pervasive Computing бөлімшесімен Ғылыми-зерттеу бөлімінің байланысын қамтамасыз етті. Ол жұмыс ағыны, интернет-сервердің өнімділігі, K-12 білім беруге арналған интернет-бағдарламалар, электрондық пошта және қолға ұсталатын компьютерлерге арналған қосымшалар/орталық бағдарламалық жасақтаманы қамтитын бөлімдер тобына жауапты болды. Сонымен қатар, ол IBM NetVista өнімінің клиенттік өнім менеджері болды. 1996 жылы IBM NetVista өніміне қосқан үлесі үшін IBM-нің үздік инновациялық сыйлығымен марапатталды. 1999 жылдан 2004 жылға дейін IBM Research компаниясының Компьютерлік ғылымдар саласының орынбасары болды. 2004 жылы Бағдарламалық технологиялар бөлімінің топ-менеджері болып тағайындалды, онда Бағдарламалау үлгілері мен құралдарының директоры ретінде Бағдарламалау технологиясы, Бағдарламалық инженерия және Бағдарламалаушы емес мамандарға арналған құралдарды зерттейтін бөлімдерді басқарды. 2011 жылдың қазан айында Сан-Хоседегі ғылыми-зерттеу орталығына Компьютерлік ғылымдар директоры болып ауысты. 2019 жылдың соңында IBM-ден зейнеткерлікке шығып, қазір Солтүстік-Шығыс университетінің Кремний алқабындағы филиалында профессор болып жұмыс істейді.
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 бағдарламалау тілдерін жобалау және іске асыру жөніндегі конференциясының (Торонто, Онтарио, Канада) төрағасы және SIGPLAN-нің OOPSLA '99 конференциясының (Денвер, Колорадо) төрағасы болды. Қазіргі уақытта ол SIGPLAN бағдарламалау тілдері тарихы конференциясының (HOPL III) тең төрағасы. Ол SIGPLAN '92 PLDI конференциясының, Екінші ACM бағдарламалау тілдері тарихы конференциясының, 1993 жылғы IEEE халықаралық үлестірілген есептеулер конференциясының, AAAI99 ашық желілік мультимедиялық жүйелер үшін модальды және уақытша логикаға негізделген жоспарлау жөніндегі симпозиумының және қызметке бағдарланған есептеулер жөніндегі бірінші халықаралық конференцияның бағдарламалық комитеттерінің мүшесі болды. Ол ACM-нің Multimedia 95 конференциясында көрмелер төрағасы, ал ACM SIGPLAN-нің OOPSLA 97 конференциясында жарнама төрағасы болды. Ол ACM SIGboard-тың аймақтық директоры (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) және IBM Systems Journal модельдік дамуға арналған арнайы санының (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.