dr Adam Grabowski

Instytut Instytut Informatyki
Zakład Zakład Programowania i Metod Formalnych
Stanowisko adiunkt
Pokój 2019
Telefon 85 738 8306
Adres e-mail adam [at] math.uwb.edu.pl
Strona WWW http://math.uwb.edu.pl/~adam
Konsultacje
  • poniedziałek 11:45 - 12:30
    p. 2019
  • czwartek 11:45 - 12:30
    p. 2019
Zainteresowania naukowe

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

Kariera naukowa
  • 2005: stopień doktora w dziedzinie: matematyka
    uzyskany w: Uniwersytet Śląski, Katowice
    rozprawa: O strukturze wyznaczonej przez podstawienia
    promotor: dr hab. Piotr Wojtylak
  • 1996: tytuł magistra w dziedzinie: matematyka
    uzyskany w: Uniwersytet Warszawski, Filia w Białymstoku
    praca: Granice odwrotne algebr wielozakresowych. Przykłady struktur kategoryjnych
    promotor: dr Andrzej Trybulec
Pełnione funkcje
  • 2016-01-01 - : Sekretarz zakładu
Członkostwo w komisjach i zespołach
  • 2016-10-01 - : Wydziałowy Zespół ds. Jakości Kształcenia
Scientific organisation membership
  • Association of Mizar Users
Editorial board membership