Uniwersytet Warszawski, Wydział Nauk Ekonomicznych - 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: 12:00 - 14: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

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

plan zajęć
ul. Długa 44/50
00-241 Warszawa
tel: +48 22 55 49 126 https://www.wne.uw.edu.pl/
kontakt deklaracja dostępności USOSweb 6.8.1.0-4 (2023-02-27)