Uniwersytet Warszawski, Wydział Nauk Ekonomicznych - 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

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

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

plan zajęć
ul. Długa 44/50
00-241 Warszawa
tel: +48 22 55 49 126 https://www.wne.uw.edu.pl/
kontakt deklaracja dostępności USOSweb 6.8.1.0-2 (2023-01-24)