# 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 *