dr hab. Henryk Michalewski

Affiliation

profesor uczelni, Institute of Informatics

Mail

H.Michalewski@mimuw.edu.pl

Phone

55-44-529

Room

5290

Website

http://www.mimuw.edu.pl/~henrykm

Other information

Employee's page on USOSweb

Office hours (availability for students)

piątek 10:15 - 12:00

Terminy konsultacji obowiązują w czasie trwania zajęć dydaktycznych.

Publications

• Publications list (54)

Grants

• Uczenie maszynowe i automatyczne dowodzenie twierdzeń
  Financed by: National Science Center