M a r i u s z     G i e r o

ADDRESS

University of Bialystok Institute of Informatics Department of Logic, Informatics and Philosophy of Science ul. Sosnowa 64, p. 205 15-887 Bialystok, Poland phone   +48 85 745 76 50     +48 85 745 76 62 e-mail:    giero@uwb.edu.pl www:    http://logika.uwb.edu.pl/mg/homepage

EDUCATION

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

1. 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

PUBLICATIONS

1. More on Products of Many Sorted Algebras, Formalized Mathematics, 5(4), (1996), pp. 621-626
2. Lower Tolerance. Preliminaries to Wroclaw Taxonomy (with Roman Matuszewski), Formalized Mathematics, 9(3), 2001, pp. 597-603
3. Hierarchies and Classifications of Sets, Formalized Mathematics, 9(4), 2001, pp. 865-869
4. On the General Position of Special Polygons Hierarchies and Classifications of Sets, Formalized Mathematics, 10(2), 2002, pp. 89-95
5. MMode, a Mizar Mode for the proof assistant Coq, (with Freek Wiedijk), report NIII-R0333, University of Nijmegen, 2003

MEMBERSHIP IN ACADEMIC SOCIETIES

Association of Mizar Users
Polish Association for Logic and Philosophy of Science

---

Last modified: 01.2005