Unit: Geometry Laboratory
Position: Assistant Professor
Room: 3021
Phone: 85 738 8319
Email address: mariusz@math.uwb.edu.pl
Website: http://math.uwb.edu.pl/~mariusz
Office hours: Wednesday 10:30 a.m. - 11:15 a.m.
Research interests:
Generalizations of projective and affine spaces and their derivatives. Applications of lattice theory in geometry, geometric lattices, matroids. Quadrics, polar spaces, affine polar spaces. Primitive concepts of geometric structures, neighborhood relations in Grassmann spaces. Finite incidental structures. Formal methods in mathematics, mechanical verification of logical correctness.
Academic career:
- 2004: Doctorate in Mathematics
awarded by: Warsaw University of Technology, Faculty of Mathematics, Physics, and Computer Science
Thesis: Projections in the lattice of a vector space subspace
Supervisor: Krzysztof Prażmowski, PhD, Professor at the University of Białystok
- 1996: Master's degree in mathematics
obtained at: University of Warsaw, Branch in Białystok, Institute of Mathematics
thesis: Finite geometries over Grassmannians
supervisor: Krzysztof Prażmowski, PhD, Prof. UwB
Membership in committees and teams:
- 2019-10-30 - : present: Faculty Promotion Team
- 2016-09-26 - 2019-09-30: Departmental Teaching Team
- 2016-09-01 - 2017-02-28: Scientific Council of the Institute of Mathematics
Professional work:
- 2019 - : Assistant Professor, University of Białystok
- 2017 - 2019: Senior Lecturer, University of Białystok
- 2005 - 2017: Assistant Professor, University of Białystok
- 1997 - 2005: Assistant, University of Białystok
- 1996 - 1997: Assistant, University of Warsaw, Branch in Białystok
Grants:
- 2014 National Science Center
Analysis of constructions and structures related to the study of C*-dynamic systems
# DEC-2011/01/B/ST1/03838
- 1997 US Office of Naval Research
Organization of an electronic journal and knowledge base in mathematics
# ONR Grant N00014-97-1-0777
- 1997 Scientific Research Committee
Research on natural and artificial intelligence using reasoning automation
# KBN 8 T11C 018 12
- 1995 US Office of Naval Research
Automatic hyperlinks in an electronically verified mathematical journal
# ONR Grant N00014-95-1-1336
Trips and internships:
- Jun 1 - Aug 1, 1999
Department of Information Engineering, Shinshu University, Nagano, Japan
Work in the Mizar system on the proof of the Jordan curve theorem.
Membership in scientific associations:
- Mizar Users Association
- Polish Society for Logic and Philosophy of Science
- Polish Society for Engineering Geometry and Graphics
