profesor uczelni w jednostce Wydział Informatyki
|
Prodziekan ds. naukowych w jednostce Wydział Informatyki
|
Kierownik Zakładu Programowania i Metod Formalnych w jednostce Zakład Programowania i Metod Formalnych
|