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

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

2023Z - Idee i informatyka 1000-217bIII

2023Z - Idee i informatyka 1000-317bIII

2023Z - MatchIT 7600-MIT-OG

2023L - Złożoność określania własności logicznych stwierdzeń 1000-2M23ZWL

2023 - Języki programowania 1000-2D13JP

2023 - Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT

2023 - Seminarium badawcze "Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji" 1000-2S22SLW

2024Z - Idee i informatyka 1000-217bIII

2024Z - Idee i informatyka 1000-317bIII

2024Z - MatchIT 7600-MIT-OG

2024Z - Zarządzanie w projektach zwinnych 1000-2M24ZPZ

2024L - Funkcyjne programowanie sieciowe 1000-2M24FPS

2024 - Języki programowania 1000-2D13JP

2024 - Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT

2024 - Seminarium badawcze "Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji" 1000-2S22SLW

Prowadzone przedmioty

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

2023Z - Idee i informatyka 1000-317bIII: Seminarium (grupa 2)

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

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

2023Z - MatchIT 7600-MIT-OG: Ćwiczenia (grupa 1)

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

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

2023L - Złożoność określania własności logicznych stwierdzeń 1000-2M23ZWL: Ćwiczenia (grupa 1), Wykład (grupa 1)

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

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

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

2024Z - Głębokie sieci neuronowe 1000-317bDNN: Laboratorium (grupa 1)

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

2024Z - Idee i informatyka 1000-317bIII: Seminarium (grupa 2)

2024Z - MatchIT 7600-MIT-OG: Ćwiczenia (grupa 1)

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

2024Z - Semantyka i weryfikacja programów (d. 1000-215bSWP) 1000-2M24SWP: Laboratorium (grupa 1)

2024L - Funkcyjne programowanie sieciowe 1000-2M24FPS: Laboratorium (grupa 1)

2024L - Wstęp do informatyki 3800-KOG-WI: Laboratorium (grupa 2)

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

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

2024 - 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