Serwisy internetowe Uniwersytetu Warszawskiego | USOSownia - uniwersyteckie forum USOSoweNie jesteś zalogowany | zaloguj się
dr hab.

Aleksy Schubert

prof. UW
Imiona
Aleksy Andrzej
Nazwisko
Schubert
Stopnie i tytuły
dr hab. prof. UW
55-44-575
Banacha 2, 02-097 Warszawa, pokój 5750

plan zajęć
Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

Profesor nadzwyczajny UW w jednostce Instytut Informatyki
Zastępca Dyrektora Instytutu w jednostce Instytut Informatyki

Terminy konsultacji dla studentów

poniedziałki: 14:15 - 16:00

konsultacje obowiązują w czasie trwania zajęć dydaktycznych

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

Koordynowane przedmioty