Powrót do listy pracowników
dr hab.
Aleksy Schubert, prof. UW
-
Afiliacja:
profesor uczelni, Instytut Informatyki
- Zainteresowania: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:
poniedziałki: 14:15 - 16:00
konsultacje obowiązują w czasie trwania zajęć dydaktycznych
- Pokój:5750
- E-mail:A.Schubert@mimuw.edu.pl
- Telefon:55-44-575
- Strona www:http://zls.mimuw.edu.pl/~alx