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

Private

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 .

Awards

Selected Publications

Previous employement


March 19, 2002 -- trybulec@math.uwb.edu.pl