Andrzej Trybulec
Andrzej Wojciech Trybulec (29 January 1941 in Kraków, Poland – 11 September 2013 in Białystok, Poland) was a Polish mathematician and computer scientist noted for work on the Mizar system.
Andrzej W. Trybulec | |
|---|---|
Trybulec ca. 1975 | |
| Born | 29 January 1941 Kraków, Poland |
| Died | 11 September 2013 (aged 72) Białystok, Poland |
| Nationality | Polish |
| Alma mater | University of Warsaw |
| Known for | Mizar system Computer-oriented formalization of mathematics |
| Spouse | Zinaida Trybulec |
| Children | Wojciech A. Trybulec Michał J. Trybulec |
| Awards | Kapitsa Medal, Russian Academy of Natural Sciences, 1995 Śleszyński Prize, Mizar Users Association, 1994 Golden Order of Merit, 1988 Silver Order of Merit, 1978 Golden Medal of Merit of the Warsaw Voivodeship, 1978 |
| Scientific career | |
| Fields | Mathematics Information Science Topology Computational linguistics Semantics |
| Institutions | University of Białystok University of Warsaw Warsaw University of Technology Polish Academy of Sciences University of Connecticut All-Russian Scientific and Technical Information Institute |
| Thesis | On some properties of the movable compacta (1975) |
| Doctoral advisor | Karol Borsuk |
| Notes | |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.