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:
-
implementation of some part of PC
Mizar verifier,
-
designing and implementation of the utilities related to the Mizar data
base,
-
utilities for maintaining Mizar
Mathematical Library (MML),
-
localization of the environment for the veryfying of Mizar articles,
-
revision utilities.
Mizar Articles Stored in Mizar Mathematical Library
which is I am the author or coauthor
10 October, 1999 --
bylinski@math.uwb.edu.pl