To jest stara, nieaktualizowana już wersja portalu wydziałowego. Zapraszamy na www.mimuw.edu.pl.
Wydział MIM Uniwersytet WarszawskiFaculty of MIM University of Warsaw

Wyszukiwarka

Pomiń menu

dr hab. Aleksy Schubert

Funkcje Zastępca Dyrektora Instytutu
Stanowisko profesor nadzwyczajny UW
Afiliacja Instytut Informatyki
Pokój 5750
Telefon 55-44-575
E-mail A.Schubert@mimuw.edu.pl
Strona www http://zls.mimuw.edu.pl/~alx
Zaintresowania Zastosowania logiki w informatyce: rachunek lambda ze szczególnym uwzględnieniem teorii typów, unifikacja wyższego rzędu, złożoność obliczeniowa systemów logicznych
Konsultacje wtorki: 10:15 - 11:45 konsultacje obowiązują w czasie trwania zajęć dydaktycznych