| 词条 | Brent Hailpern |
| 释义 |
|name=Brent Hailpern |image= |occupation=Computer Scientist |known_for=programming languages, concurrency, object-oriented programming |education=University of Denver, Stanford University |employer=IBM Research |title=Director of Computer Science, IBM Research - Almaden }}{{Portal|Software Testing}} Brent Hailpern is a computer scientist and manager at IBM Research. His research work focused on programming languages and concurrency, and he is now Director of Computer Science at IBM Research - Almaden in San Jose, California. EducationDr. 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". Career at IBMDr. 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-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. Associations, Conferences, and JournalsDr. Hailpern has authored many publications[1] and United States patents,[2] 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)[3] and a Fellow of the ACM[4] and the IEEE.[5] In 1998, he received SIGPLAN's Distinguished Service Award.[6] 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[7] (Denver, Colorado). He is currently the co-Chair of SIGPLAN's History of Programming Languages Conference (HOPL-III).[8] 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.[9] 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)[10] and of the IBM Systems Journal special issue on Model Driven Development (2006).[11] PersonalDr. 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. References1. ^{{cite web |url=http://portal.acm.org/author_page.cfm?id=81100428339| title=Brent T. Hailpern - ACM Author Profile| publisher=ACM}} 2. ^{{cite web |url=http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PTO2&Sect2=HITOFF&p=1&u=%2Fnetahtml%2FPTO%2Fsearch-bool.html&r=0&f=S&l=50&TERM1=Hailpern%3B+Brent&FIELD1=INNM&co1=AND&TERM2=&FIELD2=&d=PTXT| title=Patent Database Search Results: IN/"Hailpern; Brent"| publisher=U.S. Patent and Trademark Office}} 3. ^{{cite web |url=http://portalparts.acm.org/190000/181577/fm/frontmatter.pdf| title=ACM SIGPLAN Notices| publisher=ACM SIGPLAN| year=1994}} 4. ^{{cite web |url=http://fellows.acm.org/fellow_citation.cfm?id=1623560&srt=all| title=ACM Fellows| publisher=ACM}} 5. ^{{cite web |url=http://www.ieee.org/web/membership/fellows/Regional/region_one.html#H| title=IEEE Fellows in Region 1 Northeastern USA| publisher=IEEE| date=}} 6. ^{{cite web| url=http://sigplan.acm.org/award-service.htm| title=SIGPLAN Distinguished Service Award Recipients| publisher=ACM SIGPLAN| year=1998| deadurl=yes| archiveurl=https://web.archive.org/web/20110724223113/http://sigplan.acm.org/award-service.htm| archivedate=2011-07-24| df=}} 7. ^{{cite web |url=http://www.sigplan.org/oopsla/oopsla99/2_ap/2t_comm.html| title=OOPSLA '99 Conference and Program Committees| publisher=ACM SIGPLAN| year=1999}} 8. ^{{cite web |url=http://portal.acm.org/toc.cfm?id=1238844| title=Proceedings of the third ACM SIGPLAN conference on History of programming languages| publisher=ACM SIGPLAN| year=2007}} 9. ^{{cite web |url=http://www.sigplan.org/oopsla/oopsla97/ap/page73.html| title=OOPSLA '97 Conference and Program Committees| publisher=ACM SIGPLAN| year=1997}} 10. ^{{cite web |url=http://domino.research.ibm.com/tchjr/journalindex.nsf/495f80c9d0f539778525681e00724804/61b0b86ff94e283d85256bfa00685e0b?OpenDocument| title=IBM Systens Journal, "Software debugging, testing, and verification"| publisher=IBM| year=2002}} 11. ^{{cite web |url=http://domino.research.ibm.com/tchjr/journalindex.nsf/495f80c9d0f539778525681e00724804/b8ee1c7cc8413a81852571bc007ebd5e?OpenDocument| title=IBM Systens Journal, "Model-driven development: The good, the bad, and the ugly"| publisher=IBM| year=2006}} External links
8 : American computer scientists|People in information technology|Fellows of the Association for Computing Machinery|Fellow Members of the IEEE|Stanford University alumni|Living people|IBM employees|Year of birth missing (living people) |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。