 |
adiunkt w jednostce Instytut Informatyki
|
dr
Marcin Kubica
Zaloguj się, aby zobaczyć więcej.
Podstawowe informacje o użytkowniku
Terminy konsultacji dla studentów
Czwartki - zdalnie (proszę o wcześniejszy kontakt na email kubica@mimuw.edu.pl)
konsultacje obowiązują w czasie trwania zajęć dydaktycznych
Zainteresowania
Formalne metody specyfikacji, model-checking, automatyczne dowodzenie twierdzeń, inżynieria oprogramowania
Koordynowane przedmioty
2021Z - Wstęp do programowania (podejście funkcyjne) 1000-211bWPF
2022Z - Wstęp do programowania 1000-211bWPI
Prowadzone przedmioty
Imiona
Marcin Tomasz
Nazwisko
Kubica
Stopnie i tytuły
dr
PBN ID
1740793
