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

2022Z - Bezpieczeństwo systemów komputerowych 1000-215bBSK

2022Z - Ideas and informatics 1000-317bIII

2022Z - Ideas and informatics 3700-AL-II-qDP

2022Z - Idee i informatyka 1000-217bIII

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

Prowadzone przedmioty

2022Z - Bezpieczeństwo systemów komputerowych 1000-215bBSK: Laboratorium (grupa 1), Laboratorium (grupa 9)

2022Z - Ideas and informatics 1000-317bIII: Seminarium (grupa 2)

2022Z - Idee i informatyka 1000-217bIII: Seminarium (grupa 1), Seminarium (grupa 2)

2022Z - Innovative software 2500-EN-COG-F24: Seminarium (grupa 1)

2022Z - Języki i narzędzia programowania III 1000-225bJNP3: Ćwiczenia (grupa 5)

2022Z - Podstawy matematyki 1000-211bPM: Ćwiczenia (grupa 6)

2022Z - Semantyka i weryfikacja programów 1000-215bSWP: Ćwiczenia (grupa 4)

2022Z - Zajęcia specjalizacyjne 3302-2ZS1spz-Z: Wykład konwersatoryjny (grupa 4)

2022L - Aplikacje WWW 1000-214bWWW: Laboratorium (grupa 8), Wykład (grupa 1)

2022L - Języki i narzędzia programowania II 1000-224bJNP2: Ćwiczenia (grupa 4)

2022 - Języki programowania 1000-2D13JP: Seminarium magisterskie (grupa 1)

2022 - Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT: Seminarium badawcze (grupa 1)

2022 - Seminarium badawcze "Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji" 1000-2S22SLW: Seminarium badawcze (grupa 1)

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

http://zls.mimuw.edu.pl/~alx

https://orcid.org/0000000293166098

adres email jest ukryty

wyślij wiadomość do użytkownika