mgr Adrian Jaszczak Unit Department of Programming and Formal Methods Position asystent Room 2023 Phone 85 738 8310