Andrzej Trybulec, Polish mathematician and computer scientist (b. 1941)

Andrzej Wojciech Trybulec, (January 29, 1941 in Kraków, Poland – September 11, 2013 in Białystok, Poland) was a Polish mathematician and computer scientist noted for work on the Mizar system.