Nie jesteś zalogowany | Zaloguj się

PL /
EN

Afiliacja: profesor uczelni, Instytut Informatyki
Zainteresowania: Metody specyfikacji, systemy wspomagania dowodzenia twierdzeń
Mail: M.Engel@mimuw.edu.pl
Telefon: 55-44-221
Pokój: 2210
Inne informacje: Strona pracownika w USOSweb
Terminy konsultacji dla studentów: środa, godz. 10-12

Funkcje

Prodziekan ds. studenckich Wydział Matematyki, Informatyki i Mechaniki

Dziedziny badań

Inżynieria oprogramowania
Automatyczne dowodzenie twierdzeń

Komisje, rady