 |
adiunkt w jednostce Instytut Informatyki
|
dr
Marcin Kubica
Zaloguj się, aby zobaczyć więcej.
Podstawowe informacje o użytkowniku
Terminy konsultacji dla studentów
Środy 8:30–10:00 po wcześniejszym potwierdzeniu e-mailem.
Zainteresowania
Formalne metody specyfikacji, model-checking, automatyczne dowodzenie twierdzeń, inżynieria oprogramowania
Koordynowane przedmioty
2024Z - Wstęp do programowania 1000-211bWPI
2025Z - Wstęp do programowania 1000-211bWPI
Prowadzone przedmioty
Imiona
Marcin Tomasz
Nazwisko
Kubica
Stopnie i tytuły
dr
PBN ID
1740793
