HAL 9000, cuyo nombre es un acrónimo en inglés de Heuristically Programmed Algorithmic Computer (Computador algorítmico programado heurísticamente), es una supercomputadora o superordenador ficticio de tipo mainframe que aparece en la serie Odisea espacial, iniciada con la novela 2001 A Space Odyssey escrita por Arthur C. Clarke en 1968.

HAL está programada para no recibir respuestas que tengan dudas, pese ser una computadora heurística, lo cual la hace muy semejante al pensamiento humano; su programación consiste "fundamentalmente" en cumplir sin objeciones los planes trazados, razón por la cual elimina a los que dudan o son escépticos, considerándolos "mecanismos fallidos".

Frank Poole efectúa más tarde un paseo espacial para revisar la antena y HAL le golpea con la nave auxiliar.

Cuando Bowman sale apresurado para salvarlo, HAL simula otro fallo y mata a los otros tres miembros de la tripulación que estaban en animación suspendida.

En la secuela 2010: Odisea dos HAL es reiniciado por su creador, el doctor Chandra, quien llega a bordo de la nave espacial soviética Leonov.

Chandra descubre que la crisis de HAL ha sido causada por una contradicción en la programación: fue construido para "el procesamiento exacto de la información sin ocultamiento ni distorsión", sin embargo, sus órdenes requerían que mantuviera el descubrimiento del monolito TMA-1 en secreto.

Su tripulación humana diseña un plan de escape, que desafortunadamente requiera dejar atrás al Discovery 1 y a HAL, para ser destruidos.

En el momento de su destrucción los creadores del monolito transforman a HAL en un ser no-corpóreo, para que David Bowman pueda tener un compañero.

En 2061: Odisea tres, Heywood Floyd se sorprende al encontrar a HAL, ahora almacenado junto con Dave Bowman en el monolito de la luna Europa.

Los dos finalmente se han combinado en una entidad llamada Halman, después que Bowman rescatara a HAL de morir destruido en la nave espacial Discovery 1.

Antes del inicio de la misión soviética-estadounidense para recuperar al Discovery, Chandra utiliza a SAL para simular los posibles efectos que puede haber causado el "sueño" prolongado en HAL (Proyecto Fénix).