To jest stara, nieaktualizowana już wersja portalu wydziałowego. Zapraszamy na www.mimuw.edu.pl.
Wydział MIM Uniwersytet WarszawskiFaculty of MIM University of Warsaw

Wyszukiwarka

Pomiń menu

dr Marcin Kubica

Stanowisko starszy wykładowca (dr)
Afiliacja Instytut Informatyki
Pokój 4330
Telefon 55-44-433
E-mail M.Kubica@mimuw.edu.pl
Strona www http://www.mimuw.edu.pl/~kubica
Zaintresowania Formalne metody specyfikacji, model-checking, automatyczne dowodzenie twierdzeń, inżynieria oprogramowania
Konsultacje środy od godz. 9:00 konsultacje obowiązują w czasie trwania zajęć dydaktycznych