dr hab. Aleksy Schubert, prof. UW

Afiliacja

profesor uczelni, Instytut Informatyki

Mail

A.Schubert@mimuw.edu.pl

Telefon

55-44-575

Pokój

5750

Strona internetowa

http://zls.mimuw.edu.pl/~alx

Konsultacje

piątki 16:15-17:45 Konsultacje obowiązują w czasie trwania zajęć dydaktycznych.

Publikacje

• Publikacje (51)

Funkcje

• Kierownik studiów – Machine Learning Wydział Matematyki, Informatyki i Mechaniki

Dziedziny badań

• Inżynieria oprogramowania
• Logika w informatyce
• Semantyka i metody formalne

Granty

• Automatyzacja wnioskowania konstruktywnego
• Darowizna od Intel Corporation; cel: opracowanie programu kursów z zakresu bezpieczeństwa systemów komputerowych