dr Mariusz Żynel

• Tuesday 9:00 - 9:45

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.

• 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

• 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

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

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