Brent Hailpern, PhD

Fellowship Awarded 1979
Brent Hailpern
Visit website

Brent Hailpern received a PhD in computer science from Stanford University in 1980. His thesis was entitled, Verifying Concurrent Processes Using Temporal Logic. Dr. Hailpern joined the Thomas J. Watson Research Center as a research staff member in 1980, where he worked on and managed various projects relating to issues of concurrency and programming languages. From 1999–2004, he was the associate director of computer science for IBM Research. From 2004 to 2011, he managed departments at Watson Research covering programming languages, software engineering, and human-computer interaction where he was the director of programming models and tools, with world-wide responsibility for IBM research strategy and research agenda in Software Technology. In 2011, he became the director of computer science at the IBM Research – Almaden lab.

Dr. Hailpern is a past secretary of the Association for Computing Machinery (ACM), a past chair of the ACM Special Interest Group on Programming Languages (SIGPLAN) and a fellow of the ACM and the Institute of Electrical and Electronics Engineers (IEEE). He was the chair of the SIGPLAN conference on Programming Language Design and Implementation (PLDI ‘91), chair of SIGPLANs conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA ‘99), and co-chair of SIGPLANs 2007 History of Programming Languages Conference (HOPL III). Dr. Hailpern is a member of the CRA Board of Directors and the NSF CISE Advisory Board.

Graduate Studies

Stanford University
Computer Science
Verifying concurrent Processes Using Temporal Logic


1995, Member, Institute of Electrical and Electronics Engineers