Powrót do listy pracowników
dr
Marcin Engel
-
Afiliacja:
docent, Instytut Informatyki
- Zainteresowania:Metody specyfikacji, systemy wspomagania dowodzenia twierdzeń
- Konsultacje:
wtorki od 14:00 w pok. 2210 po uprzednim uzgodnieniu mailowym
konsultacje obowiązują w czasie trwania zajęć dydaktycznych
- Pokój:4350
- E-mail:M.Engel@mimuw.edu.pl
- Telefon:55-44-221
- Strona www: