|
Jednostka
|
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 - 2019-09-30: Pełnomocnik ds. promocji
-
2016-01-01 - : Sekretarz jednostki
|
|
Członkostwo w komisjach i zespołach
|
-
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
|
|
Granty
|
-
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
|
|
Członkostwo w kolegiach redakcyjnych
|
|