Master degree in mathematics in 1996, Warsaw University, Bialystok Branch
Thesis: 'The properties of product of family of many sorted algebras'
RESEARCH INTERESTS
computer oriented formalization of mathematics
(Mizar, Coq),
type theory
RESEARCH VISITS
University of Nijmegen
(Foundations Research Group - Subfaculty of Computing Science), The Netherlands
1.01.2003 - 31.12.2003 as a Young Visiting Researcher of the
Calculemus Project.
I worked on "Mizar mode" for Coq
i.e. providing Coq with a mathematical proof style language based on the Mizar system.
Here it is the description of the system mmode.dvi, mmode.pdf
and the system itself mmode.tar.gz