Ivan M. Havel#
| Sadly, this member passed away. | |
| Membership Number: | 1530 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 1994 |
| Main Country of Residence: | CZECH REPUBLIC |
| Homepage(s): | http://www.cts.cuni.cz/~havel |
Ivan Havel passed away April 25, 2021.
Positions Held
- Since 1990 Editor in chief, scientific journal Vesmír (http://www.vesmir.cz
)
- Since 1998 Research scientist, Center for Theoretical Study (Charles University in Prague and the Academy of Sciences of the Czech Republic)
- Since 1990 Teaching position, Faculty of Mathematics, Charles University in Prague
- 1990–1998 Director, Center for Theoretical Study (Charles University in Prague and the Academy of Sciences of the Czech Republic)
- 1981-1990 Computer Programmer, Meta, Prague
- 1972-1979 Research scientist, Institute of Information Theory and Automation, Czechoslovak Academy of Sciences, Prague
- 1971 Ph.D., Computer Science, University of California at Berkeley, USA
Fields of Scholarship
- Cognitive science (consciousness, phenomenology, human experience)
- Science studies (transdisciplinarity)
- Theoretical computer science (finite automata, formal languages)
- Artificial intelligence (logical theory of robot problem solving)
Honours and Awards
- Silver Medal of Charles University (2003)
- Memorial Medal of Civic Formum Foundation (2006)
- Memorial Medal of Third Faculty of Medicine, Charles University (2008)
- Gold Medal of Charles University (2008)
