dr Mariusz Żynel

Instytut jednostka międzyinstytutowa
Zakład Zakład Dydaktyki i Nowoczesnych Technologii w Kształceniu
Stanowisko starszy wykładowca
Pokój 3023
Telefon 85 738 8294
Adres e-mail mariusz@math.uwb.edu.pl
Strona WWW http://math.uwb.edu.pl/~mariusz
Konsultacje
  • poniedziałek 9:00 - 10:00
  • wtorek 9:00 - 10:00
Zainteresowania naukowe

Uogólnienia przestrzeni rzutowych i afinicznych i ich pochodne. Zastosowania teorii krat w geometrii, kraty geometryczne, matroidy. Kwadryki, przestrzenie biegunowe, afiniczne przestrzenie biegunowe. Pojęcia pierwotne struktur geometrycznych, relacje sąsiedniości w przestrzeniach Grassmanna. Skończone struktury incydencyjne. Metody formalne w matematyce, mechaniczna weryfikacja logicznej poprawności.

Kariera naukowa
  • 2004: stopień doktora w dziedzinie: matematyka
    uzyskany w: Politechnika Warszawska, Wydział MiNI
    rozprawa: Rzutowania w kracie podprzestrzeni przestrzeni wektorowej
    promotor: dr hab. Krzysztof Prażmowski, prof. UwB
  • 1996: tytuł magistra w dziedzinie: matematyka
    uzyskany w: Uniwersytet Warszawski, Filia w Białymstoku, Instytut Matematyki
    praca: Skończone geometrie nad Grassmannianami
    promotor: dr hab. Krzysztof Prażmowski, prof. UwB
Członkostwo w komisjach i zespołach
  • 2016-09-26 - : Kierunkowy Zespół Dydaktyczny - Matematyka
  • 2016-09-01 - 2017-02-28: Rada Naukowa Instytutu Matematyki
Praca zawodowa
  • 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
Granty
  • 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
Wyjazdy i staże
  • 1999 Jun - Aug
    Shinshu University, Department of Information Engineering, Nagano

    Praca nad dowodem twierdzenia o krzywej Jordana w systemie Mizar.

Członkostwo w stowarzyszeniach naukowych
  • Stowarzyszenie Użytkowników Mizara
  • Polskie Towarzystwo Logiki i Filozofii Nauki
  • Polskie Towarzystwo Geometrii i Grafiki Inżynierskiej