PeopleofSuperintelligence

Researcher

Ivan M. Havel

Also known as Ivan Miloš Havel, Ivan Havel

Ivan Miloš Havel was a Czech computer scientist whose research covered robot problem solving and artificial intelligence. After graduating from the Czech Technical University in Prague in 1966, he studied at Berkeley from 1969 to 1971 and earned a PhD in computer science. In 1976 he and Olga Štěpánková published a logical theory of robot problem solving in the journal Artificial Intelligence. He helped found the Civic Forum movement during the Velvet Revolution, and in 1990 he became editor-in-chief of the Czechoslovak scientific journal Vesmír. He died in 2021 at the age of 82, as the brother of Czech president Václav Havel.

Works
118
Citations
972
h-index
16

Publication numbers from OpenAlex, as of 15 October 2026.

Timeline

  1. 1966–1971

    A Berkeley computer science PhD

    He graduates from the Czech Technical University in Prague in 1966. From 1969 to 1971 he studies at Berkeley, earning a PhD in computer science.

  2. 1972–1979

    Research at the Academy of Sciences

    He works as a research scientist at the Institute of Information Theory and Automation of the Czechoslovak Academy of Sciences from 1972 to 1979.

  3. 1976

    Logical theory of robot problem solving

    He and Olga Štěpánková publish 'A logical theory of robot problem solving' in the journal Artificial Intelligence in 1976.

  4. November 1989–June 1990

    Civic Forum co-founder

    He helps found the Civic Forum movement in the days of the Velvet Revolution. From November 1989 to June 1990 he serves on the council of the Civic Forum Coordination Center.

  5. 1990

    Editor of the journal Vesmír

    In 1990 he becomes editor-in-chief of the Czechoslovak scientific journal Vesmír. He also becomes director of the Center for Theoretical Study.

  6. 2021

    Death at 82

    He dies in 2021 at the age of 82, as the brother of Czech president Václav Havel. Radio Prague's obituary calls him a scientist in cognitive sciences, artificial intelligence and philosophy.

Sources and credits

Photo: We have no published photo of Ivan M. Havel yet. Send us a free-licensed photo.

  1. Ivan M. Havel - Monoskop monoskop.org. Checked 15 October 2026.
  2. Ivan M. Havel ae-info.org. Checked 15 October 2026.
  3. DML-CZ - Czech Digital Mathematics Library: Incidental and state-dependent phenomena in robot problem solving dml.cz. Checked 15 October 2026.
  4. Ivan Havel, respected scientist and brother of Václav Havel, dies at 82 | Radio Prague International english.radio.cz. Checked 15 October 2026.
  5. Ivan M. Havel, List of Publications (after 1990) cts.cuni.cz. Checked 15 October 2026.
  6. Ivan M. Havel - Wikipedia en.wikipedia.org. Checked 15 October 2026.