ATTN: Brent Hailpern, 6024 Silver Creek Valley Rd
360 Huntington Avenue
Boston, MA 02115-5000
Dr. Brent Hailpern, Fellow of the ACM and the IEEE, was a Distinguished Research Staff Member, Scientific Director of the AI Horizons Network, and past Head of Computer Science for IBM Research. He retired from IBM at the end of 2019.
He received a Ph.D. degree 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 a world-wide responsibility for IBM Research’s strategy and research agenda in Software Technology. From 2011 to 2013, he was the Director of the Computer Science Department, IBM Research | Almaden.
Dr. Hailpern is a past Secretary of the ACM, a past member of ACM Council, a past Chair of the ACM Special Interest Group on Programming Languages (SIGPLAN). He was the chair of the SIGPLAN conference on Programming Language Design and Implementation (PLDI ‘91), chair of SIGPLAN’s conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA ‘99), co-chair of SIGPLAN’s 2007 History of Programming Languages Conference (HOPL III), and co-chair of the 2014 CRA Snowbird Conference. Dr. Hailpern is currently a member of the CRA Board of Directors (2011-2020) and recently completed a term with the NSF Directorate for Computer and Information Science and Engineering (CISE) Advisory Committee (2012-2019).
Field of research/teaching
Programming Languages and Software Engineering
What are the specifics of your educational background?
My PhD research was in programming language design, concurrency, and software verification.
What is your research focus in a bit more detail? Is your current research path what you always had in mind for yourself, or has it evolved?
My last research proejct at IBM involved understanding and facilitating the life cycle of cognitive software, which is substantially different than the life cycle of conventional software. This difference has profound implications for the methodology and tools required to build such software. Cognitive software possesses at least one “cognitive” or “intelligent” component, such as a component implemented using machine learning, neural networks, or rules. Multiple cognitive components will often be involved in a cognitive application or service, but even just one component is enough to impart special and challenging complications.
What courses/subjects do you teach?
CS 5006 and CS 5007.