dr hab. Aleksy Schubert, prof. UW

Afiliacja

profesor uczelni, Instytut Informatyki

Konsultacje

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

Telefon

55-44-575

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