Andrzej Trybulec
Address
Dr. Andrzej Trybulec
Institute of Computer Science
University of Bialystok
ul. Sosnowa 64
15-614 Bialystok
Poland
tel: +48 (85) 745 75 59
fax: +48 (85) 745 70 73
Education
Ph. D. in mathematics, Inst. of Math., Pol. Acad. of Sci.
Dissertation: ``On the Movable Continua'', 1974
Master of Mathematics, Warsaw University
Thesis: ``On r-accessibility'', 1966
Research interests
I am interested in computer oriented formalization of
mathematics, computational linguistic and semantics of
programming languages, particularly in proving properties of
programs.
Since 1973, I lead the
Mizar project .
March 19, 2002 --
trybulec@math.uwb.edu.pl