dr Adam Naumowicz

Instytut Instytut Informatyki
Zakład Zakład Programowania i Metod Formalnych
Stanowisko adiunkt
Pokój 2019
Telefon 85 738 8306
Adres e-mail adamn@math.uwb.edu.pl
Pełnione funkcje
  • 2016-10-01 - : Pełnomocnik ds. Promocji
  • 2016-01-01 - : Sekretarz zakładu
Członkostwo w komisjach i zespołach
  • 2016-12-06 - 2020-08-31: Wydziałowy Zespół ds. Promocji (Przewodniczący)
  • 2016-09-26 - : Kierunkowy Zespół Dydaktyczny - Informatyka
  • 2016-09-01 - 2020-08-31: Rada Wydziału
Granty
  • 2017 Narodowe Centrum Nauki
    Rozwój interaktywnego dowodzenia twierdzeń w systemie Mizar
    # DEC-2017/01/X/STG/00012