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

piątki 16:15-17:45

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

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
ul. Banacha 2
02-097 Warszawa
tel: +48 22 55 44 214 https://www.mimuw.edu.pl/
kontakt deklaracja dostępności USOSweb 7.0.0.0-c2b793521 (2023-11-22)