Andrzej Wojciech Trybulec (né le à Cracovie et mort le à Białystok.) est un mathématicien et informaticien polonais, connu pour avoir développé le système MizarIn memoriam Andrzej Trybulec.
Biographie Il est le fils de Jan et Barbara Trybulec. Il suit des études de mathématiques à l'université de Varsovie et obtient sa maîtrise en 1966. Huit ans plus tard il devient docteur en mathématiquemath.uwb.edu.pl sous la direction de Karol Borsukgenealogy.math.ndsu.nodak.edu.
En septembre et octobre 1973, il est professeur invité à l'institut d'information scientifique et technique de Moscou où il décrit pour la première fois l'idée de la lisibilité de la machine de textes mathématiques .
Après l'obtention de son doctorat en 1974, il s'intéresse à la linguistique mathématique. Il commence les travaux sur le système Mizar en s'appuyant sur la mizar.uwb.edu.pl.
Famille La sœur d'Andrzej Trybulec, Krystyna Kuperberg, ainsi que son beau-frère et son neveu sont des mathématiciens connus.
Bibliographie Piotr Rudnicki: An overview of the Mizar-Project. Proceedings of the 1982 workshop on Types for Prooofs and Programs. Chalmers University of Technology, Båstad 1992.
From Insight to Proof: Festschrift in Honour of Andrzej Trybulec. Roman Matuszewski et Anna Zalewska. Université de Białystok 2007.
Liens externes
"Andrzej Trybulec", University of Bialystok.
Mizar System http://mizar.uwb.edu.pl The evolution of the Mizar. Mathematical Library. Andrzej Trybulec. University of Bialystok. Eindhoven, MONET 2003
Notes et références
Catégorie:Mathématicien polonais Catégorie:Étudiant de l'université de Varsovie Catégorie:Naissance en janvier 1941 Catégorie:Naissance à Cracovie Catégorie:Décès en septembre 2013 Catégorie:Décès à Białystok Catégorie:Décès à 72 ans