Czeslaw Bylinski


Address

Czeslaw Bylinski
University of Bialystok
ul. Marii Sklodowskiej-Curie 14
15-097 Bialystok
Poland

tel: +48 (85) 7457092
fax: +48 (85) 7457073
e-mail: bylinski@math.uwb.edu.pl

Education

Phd: Shinshu University, Japan
Thesis: Mizar Codyfication of the Cathegory Theory, September 1998

Master of science in mathematics, Warsaw University, Bialystok Branch,
Thesis: Formal property of Homonymy , 1979

Research interests

I am interested in computer oriented formalization of mathematics, computational linguistic and semantics of programming languages, particularly in proving properties of programs.

My main interest is developing and maintaining of the Mizar System. Since 1978, I am a member of the Mizar Project, the main goal of which is implementation of the Mizar language used for symbolizing (encoding or codyfying) mathematical articles in the form that enables automatic checking of correctness.

My part in Mizar Project contains:
Mizar Articles Stored in Mizar Mathematical Library which is I am the author or coauthor
 
 
 

10 October, 1999 -- bylinski@math.uwb.edu.pl