Nie jesteś zalogowany | Zaloguj się

PL /
EN

Afiliacja: adiunkt, Instytut Informatyki
Mail: M.Milkowska@mimuw.edu.pl
Telefon: 55-44-437
Pokój: 4370
Strona internetowa: http://www.mimuw.edu.pl/~mikis
Inne informacje: Strona pracownika w USOSweb
Terminy konsultacji dla studentów: poniedziałki, godz. 14:15-16.

Dziedziny badań

Inżynieria oprogramowania
Programowanie w logice, specyfikacja i weryfikacja programów w logice