dr Mariusz Żynel

• wtorek 9:00 - 9:45

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.

• 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

• 2019-10-30 - : Wydziałowy Zespół ds. Promocji
• 2016-09-26 - 2019-09-30: Kierunkowy Zespół Dydaktyczny
• 2016-09-01 - 2017-02-28: Rada Naukowa Instytutu Matematyki

• 2019 - : adiunkt, Uniwersytet w Białymstoku
• 2017 - 2019: 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

• 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

• Jun 1 - Aug 1, 1999
  Department of Information Engineering, Shinshu University, Nagano, Japan

  Praca w systemie Mizar nad dowodem twierdzenia o krzywej Jordana.

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