|Faculty of Computer Science
Bialystok Technical University
|ul. Wiejska 45A
|tel: +48 (85) 742 8206
fax: +48 (85) 742 2393
|Former JSPS Postdoctoral Fellow|
|Department of Information Engineering
Faculty of Engineering
|tel: +81 (26) 269 5462
fax: +81 (26) 269 5495
|Former Associate Professor|
|Institute of Computer Science
Faculty of Mathematics and Physics
University of Bialystok
|ul. Akademicka 2
|tel: +48 (85) 7457559
fax: +48 (85) 7457073
Master of Mathematics, Warsaw University, Bialystok Branch
(now University of Bialystok)
Thesis: ``Mizar as the metalanguage for ZF set theory'', 1990.
Ph.D. (doctorate) in mathematics,
Institute of Mathematics,
Polish Academy of Sciences.
Thesis: ``Some uniform algebraic approach to proofs of propositional calculus of intuitionistic logic and fragments of linear logic and corresponding categories'', 1997.
I am interested in computer aided formalization of mathematics, text generating and mechanical translation, algebraic approach to categories and logic.
My interest is connected with Mizar project, Japonese Mizar web site, Journal of Formalized Mathematics, and Mizar codification of the theory of continuous lattices.