dr Mariusz Żynel

Institute interinstitute unit
Department Department of Computer Science Applications to Education
Position starszy wykładowca
Room 3023
Phone 85 738 8294
E-mail address mariusz@math.uwb.edu.pl
Web page http://math.uwb.edu.pl/~mariusz
Tutorial
  • Thursday 12:15 - 14:00
Scientific 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 notions for geometric structures, adjacency relations in Grassmann spaces. Finite incidence structures. Formal methods in mathematics, mechanical verification of logical correctness.

Scientific career
  • 2004: phd in: matematyka
    at: Politechnika Warszawska, Wydział MiNI
    dissertation: Rzutowania w kracie podprzestrzeni przestrzeni wektorowej
    supervisor: dr hab. Krzysztof Prażmowski, prof. UwB
  • 1996: master's degree in: matematyka
    at: Uniwersytet Warszawski, Filia w Białymstoku, Instytut Matematyki
    thesis: Skończone geometrie nad Grassmannianami
    supervisor: dr hab. Krzysztof Prażmowski, prof. UwB
Membership in boards and teams
  • 2016-09-26 - : Kierunkowy Zespół Dydaktyczny - Matematyka
  • 2016-09-01 - 2017-02-28: Rada Naukowa Instytutu Matematyki
Employment
  • 2017 - : starszy wykładowca, Uniwersytet w Białymstoku
  • 2005 - 2017: adiunkt, Uniwersytet w Białymstoku
  • 1997 - 2005: asystent, Uniwersytet w Białymstoku
  • 1996 - 1997: asystent, Uniwersytet Warszawski, Filia w Białymstoku
Grants
  • 2014 Narodowe Centrum Nauki
    Analiza konstrukcji i struktur związanych z badaniem układów C*-dynamicznych
    # DEC-2011/01/B/ST1/03838
  • 1997 Biuro Badań Marynarki Wojennej USA
    Organizacja czasopisma elektronicznego i bazy wiedzy z matematyki
    # ONR Grant N00014-97-1-0777
  • 1997 Komitet Badań Naukowych
    Badania nad naturalną i sztuczną inteligencją za pomocą automatyzacji rozumowań
    # KBN 8 T11C 018 12
  • 1995 Biuro Badań Marynarki Wojennej USA
    Automatyczne hiperłącza w elektronicznie weryfikowanym czasopiśmie matematycznym
    # ONR Grant N00014-95-1-1336
Visits
  • 1999 Jun - Aug
    Shinshu University, Department of Information Engineering, Nagano

    Work on the proof of the Jordan's curve theorem in Mizar system.

Scientific organisation membership
  • Stowarzyszenie Użytkowników Mizara
  • Polskie Towarzystwo Logiki i Filozofii Nauki
  • Polskie Towarzystwo Geometrii i Grafiki Inżynierskiej