Кіріспе

Американдық компьютер ғалымы Брент Хейлперн – IBM Research зерттеу орталығының зейнеткерліктегі ғалымы. Оның ғылыми еңбектері бағдарламалау тілдері, бағдарламалық жасақтаманы жасау және параллель есептеу салаларына арналған.

Білім

Доктор Хейлперн 1976 жылы Денвер университетінен (Денвер, Колорадо) математика саласында summa cum laude көрсеткішімен B.S. дәрежесін алды, ал 1978 және 1980 жылдары Стенфорд университетінен (Стенфорд, Калифорния) Компьютерлік ғылымдар бойынша M.S. және Ph. D. дәрежелерін алды. Оның диссертациясының тақырыбы: "Уақытша логика қолданып, параллель процестерді тексеру".

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-ден зейнеткерлікке шығып, қазір Солтүстік-Шығыс университетінің Кремний алқабындағы филиалында профессор болып жұмыс істейді.

Қауымдастықтар, конференциялар және журналдар

Доктор Хейлперн көптеген жарияланымдар мен АҚШ патенттерінің авторы, сондай-ақ көптеген конференция мақалалары мен кітап тарауларының авторы. Ол 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) ко-редакторы болды.

Жеке

Доктор Хейлперн 2002 жылдың шілдесінен 2005 жылдың маусымына дейін Катона Льюисборо Біріккен еркін мектеп округінің мүшесі болды. 2003 жылдың шілдесінен 2004 жылдың маусымына дейін мектеп кеңесінің вице-президенті қызметін атқарды.