Zmarł Doktor Andrzej Trybulec

Z głębokim smutkiem żegnamy Andrzeja Trybulca, znakomitego informatyka i logika. Dr Andrzej Trybulec niemal całe życie zawodowe związał z Uniwersytetem w Białymstoku. Był głównym twórcą projektu Mizar, nad którym pracował od roku 1973. Mizar jest oryginalnym, znanym w świecie, systemem automatycznego dowodzenia twierdzeń i tworzenia prac matematycznych.

Cześć Jego pamięci!

Zarząd Polskiego Towarzystwa Logiki i Filozofii Nauki