![]() |
profesor uczelni w jednostce Instytut Informatyki
|

dr hab.
Aleksy Schubert
prof. UW
Zaloguj się, aby zobaczyć więcej.
Podstawowe informacje o użytkowniku
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
2022Z - Bezpieczeństwo systemów komputerowych 1000-215bBSK
2022Z - Ideas and informatics 3700-AL-II-qDP
2022Z - Idee i informatyka 1000-217bIII
2022Z - Idee i informatyka 1000-317bIII
2022L - Aplikacje WWW 1000-214bWWW
2022 - Języki programowania 1000-2D13JP
2022 - Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT
2022 - Seminarium badawcze "Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji" 1000-2S22SLW
2023Z - Idee i informatyka 1000-217bIII
2023Z - Idee i informatyka 1000-317bIII
2023 - Języki programowania 1000-2D13JP
2023 - Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT
Prowadzone przedmioty
2022Z - Bezpieczeństwo systemów komputerowych 1000-215bBSK:
Laboratorium (grupa 1), Laboratorium (grupa 9)
2022 - Seminarium badawcze "Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji" 1000-2S22SLW:
Seminarium badawcze (grupa 1)