Jiří Hořejš
Jiří Hořejš (* 18. Oktober 1933 in Prag; † 28. September 2001) [jɪr̝iː ɦɔr̝ɛjʃ] war ein tschechischer Informatiker. Er gilt als einer der Begründer der Informatik in der Tschechoslowakei.
1964 wurde er Professor und Leiter des Instituts für Informatik (damals Mathematische Maschinen) an der Masaryk-Universität in Brünn. In den 1960er Jahren befasste er sich mit formalen Methoden zur Überprüfung der Korrektheit von Programmen. Er entwickelte dazu ein graphisches Verfahren und später semantische Methoden. 1987 wurde er Professor an der Karls-Universität Prag und befasste sich unter anderem mit Neuronalen Netzen und DNA-Computern.
1996 erhielt er den Computer Pioneer Award.
Weblinks
- Literatur und andere Medien von und über Jiří Hořejš im Katalog der Nationalbibliothek der Tschechischen Republik
- Biographie
- Computer Pioneer Award
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.