Computer Scientist

Dr. Brent Hailpern, Fellow of the ACM and Life Fellow of the IEEE, was a Distinguished Research Staff Member, Scientific Director of the AI Horizons Network, and past Head of Computer...

Research

My current research involves 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...

Family Trees

Over the years, I have collected pieces of the past...the names, dates, families of my ancestors...and then their descendants. The five pdf files represent my current database on the five families...

Long Bio

Brent Hailpern received his B.S. degree, summa cum laude, in Mathematics from the University of Denver in 1976, and his M.S. and Ph.D. degrees in Computer Science from Stanford University in 1978 and 1980 respectively. His thesis was titled, "Verifying Concurrent Processes Using Temporal Logic". Dr. Hailpern joined the IBM...

My Father's Writings

EDUCATION & JOBS

2011-2019

IBM Research | Almaden

Responsible for scientific excellence of multi-million dollar research program involving IBM and faculty/students at half a dozen universities. Topics include AI, health informatics, and cognitive security. Responsible for world-wide research...
1980-2011

IBM Thomas J. Watson Research Center

Responsible for world-wide research strategy and relationships relating to Software Lifecycle, Rational Software Development, Language Runtime Development, Programming Languages and Software Engineering. Also directly responsible for line departments in Watson...
1976-1980

Ph.D. Computer Science, Stanford University

In this thesis we present a technique for proving both safety and liveness properties of parallel programs. Safety properties are assertions that must be satisfied by the system state at...