Jiří Hořejš
Jiří Hořejš (born October 18, 1933 in Prague ; † September 28, 2001 ) [ jɪr̝iː ɦɔr̝ɛjʃ ] was a Czech computer scientist. He is considered one of the founders of computer science in Czechoslovakia.
In 1964 he became professor and head of the Institute of Computer Science (then Mathematical Machines) at Masaryk University in Brno . In the 1960s, he dealt with formal methods of checking the correctness of programs. He developed a graphical process and later semantic methods. In 1987 he became a professor at the Charles University in Prague and worked, among other things, on neural networks and DNA computers .
In 1996 he received the Computer Pioneer Award .
Web links
- Literature and other media by and about Jiří Hořejš in the catalog of the National Library of the Czech Republic
- biography
- Computer Pioneer Award
personal data | |
---|---|
SURNAME | Hořejš, Jiří |
BRIEF DESCRIPTION | Czech computer scientist |
DATE OF BIRTH | October 18, 1933 |
PLACE OF BIRTH | Prague |
DATE OF DEATH | September 28, 2001 |