|
Unit
|
Department of Programming and Formal Methods
|
|
Position
|
adiunkt
|
|
Room
|
2019
|
|
Phone
|
85 738 8306
|
|
E-mail address
|
a.naumowicz@uwb.edu.pl
|
|
Duties
|
-
2016-10-01 - 2019-09-30: Pełnomocnik ds. promocji
-
2016-01-01 - : Sekretarz jednostki
|
|
Membership in boards and teams
|
-
2016-12-06 - 2019-09-30: Wydziałowy Zespół ds. Promocji (Przewodniczący)
-
2016-09-26 - 2019-09-30: Kierunkowy Zespół Dydaktyczny - Informatyka
-
2016-09-01 - 2019-09-30: Rada Wydziału
|
|
Grants
|
-
2017 Narodowe Centrum Nauki
Rozwój interaktywnego dowodzenia twierdzeń w systemie Mizar
# DEC-2017/01/X/STG/00012
|
|
Scientific organisation membership
|
-
Stowarzyszenie Użytkowników Mizara
|
|
Editorial board membership
|
|