caption doctoral_advisor death_date death_place work_institution birth_place nationality field birth_date known_for residence image article_title name alma_mater
trybulec ca. 1975 karol borsuk 11 september 2013 białystok , poland university of białystok kraków , poland polish mathematics and information science 29 january 1941 mizar system białystok andrzejtrybulec.jpg andrzej trybulec
 andrzej w. trybulec university of warsaw
andrzej trybulec

andrzej wojciech trybulec , -lrb- january 29 , 1941 -- september 11 , 2013 -rrb- was a polish mathematician and computer scientist , at the university of białystok , in białystok , poland , noted for development of the mizar system .
he received his ph.d. in the field of topology from karol borsuk in 1974 at the institute of mathematics of the polish academy of sciences .
his first mathematical papers were in the domain of various topological and metric space topics of karol borsuk .
not much later , and in parallel to his topological research , he worked also in the field of mathematical linguistics .
trybulec was the founder and developer of the formalization system mizar based on the tarski -- grothendieck set theory axioms and the founder of the mizar mathematical library -lrb- mml -rrb- the world 's largest repository of formalized and computer-checked mathematics .
trybulec 's sister , krystyna kuperberg , his brother in law , włodzimierz kuperberg , and their son , greg kuperberg , are all noted mathematicians .
