Serwisy internetowe Uniwersytetu Warszawskiego | USOSownia - uniwersyteckie forum USOSoweNie jesteś zalogowany | zaloguj się
dr

Marcin Kubica

Imiona
Marcin Tomasz
Nazwisko
Kubica
Stopnie i tytuły
dr
55-44-433
Banacha 2, 02-097 Warszawa, pokój 4330

plan zajęć
Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

Starszy wykładowca (dr) w jednostce Instytut Informatyki

Terminy konsultacji dla studentów

brak

konsultacje obowiązują w czasie trwania zajęć dydaktycznych

Zainteresowania

Formalne metody specyfikacji, model-checking, automatyczne dowodzenie twierdzeń, inżynieria oprogramowania

Koordynowane przedmioty