Powrót do listy pracowników
dr hab. Henryk Michalewski
- Afiliacja
-
profesor uczelni,
Instytut Informatyki
- H.Michalewski@mimuw.edu.pl
- Telefon
- 55-44-529
- Pokój
- 5290
- Strona internetowa
- http://www.mimuw.edu.pl/~henrykm
- Inne informacje
- Strona pracownika w USOSweb
- Terminy konsultacji dla studentów
piątek 10:15 - 12:00
Terminy konsultacji obowiązują w czasie trwania zajęć dydaktycznych.
Publikacje
Granty
-
Uczenie maszynowe i automatyczne dowodzenie twierdzeń
Finansowany przez: Narodowe Centrum Nauki