Brent Hailpern
Encyclopedia
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.
(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".
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 of 2011, as Director of Computer Science.
, 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).
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
and manager at IBM Research
IBM Research
IBM Research, a division of IBM, is a research and advanced development organization and currently consists of eight locations throughout the world and hundreds of projects....
. 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.
Education
Dr. Hailpern received his B.S. degree, summa cum laude, in Mathematics from the University of DenverUniversity of Denver
The University of Denver is currently ranked 82nd among all public and private "National Universities" by U.S. News & World Report in the 2012 rankings....
(Denver, Colorado
Denver, Colorado
The City and County of Denver is the capital and the most populous city of the U.S. state of Colorado. Denver is a consolidated city-county, located in the South Platte River Valley on the western edge of the High Plains just east of the Front Range of the Rocky Mountains...
) in 1976, and his M.S. and Ph.D. degrees in Computer Science from Stanford University
Stanford University
The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is a private research university on an campus located near Palo Alto, California. It is situated in the northwestern Santa Clara Valley on the San Francisco Peninsula, approximately northwest of San...
(Stanford, California
Stanford, California
Stanford is a census-designated place in Santa Clara County, California, United States and is the home of Stanford University. The population was 13,809 at the 2010 census....
) in 1978 and 1980 respectively. His thesis was titled, "Verifying Concurrent Processes Using Temporal Logic".
Career at IBM
Dr. Hailpern joined the IBMIBM
International Business Machines Corporation or IBM is an American multinational technology and consulting corporation headquartered in Armonk, New York, United States. IBM manufactures and sells computer hardware and software, and it offers infrastructure, hosting and consulting services in areas...
T. J. Watson Research Center (Yorktown Heights, New York
Yorktown Heights, New York
Yorktown Heights is a census-designated place in the town of Yorktown in Westchester County, New York, United States. The population was 1,781 at the 2010 census.-Geography:Yorktown Heights is located at ....
) 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
Armonk, New York
Armonk is a hamlet and census-designated place located in the town of North Castle in Westchester County, New York. As of the 2010 census, the CDP population was 4,330....
) 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
Lotus Software
Lotus Software is a software company with headquarters in Westford, Massachusetts...
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
IBM Research
IBM Research, a division of IBM, is a research and advanced development organization and currently consists of eight locations throughout the world and hundreds of projects....
. 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 of 2011, as Director of Computer Science.
Associations, Conferences, and Journals
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 ACMAssociation for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
, a past Chair of the ACM Special Interest Group on Programming Languages (SIGPLAN
SIGPLAN
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.- Conferences :* Principles of Programming Languages * Programming Language Design and Implementation...
) and a Fellow of the ACM
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
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
Denver, Colorado
The City and County of Denver is the capital and the most populous city of the U.S. state of Colorado. Denver is a consolidated city-county, located in the South Platte River Valley on the western edge of the High Plains just east of the Front Range of the Rocky Mountains...
). 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
OOPSLA
OOPSLA is an annual ACM research conference. OOPSLA mainly takes place in the United States, while the sister conference of OOPSLA, ECOOP, is typically held in Europe...
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
OOPSLA
OOPSLA is an annual ACM research conference. OOPSLA mainly takes place in the United States, while the sister conference of OOPSLA, ECOOP, is typically held in Europe...
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).
Personal
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.External links
- Home page at IBM Research
- Publication list at ACM Portal