Uniwersytet Warszawski - Centralny System Uwierzytelniania
Strona główna
dr

Marcin Kubica

Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

adiunkt w jednostce Instytut Informatyki

Terminy konsultacji dla studentów

brak zajęć w sem. letnim 23/24

Zainteresowania

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

Koordynowane przedmioty

Prowadzone przedmioty

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

Przejdź do planu
ul. Banacha 2
02-097 Warszawa
tel: +48 22 55 44 214 https://www.mimuw.edu.pl/
kontakt deklaracja dostępności USOSweb 7.0.1.0-03d50b88b (2024-02-19)