Unit: Laboratory of Geometry
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, atroids.Quadrics, polar spaces, affine polar spaces. Primitive notions for geometric structures, adjacency relations in Grassmann spaces. Finite incidence structures. Geometrical methods in coding theory. 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 subspaces of a vector space
Supervisor: Krzysztof Prażmowski, PhD, Prof. UwB
- 1996: Master's degree in mathematics
obtained at: Warsaw University, Białystok Branch, Institute of Mathematics
thesis: Finite Grassmannian geometries
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
