dr Adam Grabowski

Unit Zakład Programowania i Metod Formalnych
Position adiunkt
Room 2019
Phone 85 738 8306
E-mail address adam@math.uwb.edu.pl
Web page http://math.uwb.edu.pl/~adam
Tutorial
  • Tuesday 10:30 - 12:00
    p. 2019
Scientific interests

logika matematyczna, formalizacja matematyki, teoria zbiorów przybliżonych

Scientific career
  • 2005: phd in: matematyka
    at: Uniwersytet Śląski, Katowice
    dissertation: O strukturze wyznaczonej przez podstawienia
    supervisor: dr hab. Piotr Wojtylak
  • 1996: master's degree in: matematyka
    at: Uniwersytet Warszawski, Filia w Białymstoku
    thesis: Granice odwrotne algebr wielozakresowych. Przykłady struktur kategoryjnych
    supervisor: dr Andrzej Trybulec
Duties
  • 2016-01-01 - : Sekretarz jednostki
Membership in boards and teams
  • 2016-10-01 - 2019-09-30: Wydziałowy Zespół ds. Jakości Kształcenia
Scientific organisation membership
  • Association of Mizar Users
Editorial board membership