Uniwersytet Warszawski - Centralny System Uwierzytelniania
Strona główna
dr hab.

Aleksy Schubert

prof. UW
Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

profesor uczelni w jednostce Instytut Informatyki

Terminy konsultacji dla studentów

Poniedziałki 14:15-15:45

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

Prowadzone przedmioty

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

Przejdź do planu
Krakowskie Przedmieście 26/28
00-927 Warszawa
tel: +48 22 55 20 000 https://uw.edu.pl/
kontakt deklaracja dostępności USOSweb 7.0.3.0 (2024-03-22)