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 15-887 Bialystok, Poland phone   +48(85)745-75-59     +48(85)745-76-62 e-mail:    giero@uwb.edu.pl www:    http://hum.uwb.edu.pl/~giero

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

EMPLOYMENT

Since 2000 Assistant, University of Bialystok
1996-2000 Teacher of mathematics, Construction and Geodesy Secondary School, Bialystok

---

Last modified: