Computer Scientist

Dr. Brent Hailpern,Fellow of the ACM and the IEEE, is a Distinguished Research Staff Member, Head of Computer Science for IBM Research. He received a Ph.D. degree in Computer Science from Stanford...

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-Present

IBM Research | Almaden

Responsible for world-wide research strategy, grand challenges, and academic relationships relating to Computer Science, Mathematics, Electrical Engineering and Operations Research. Primary responsibility for mentoring IBM’s international research labs. Co-strategist for...
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...