dr hab.

Aleksy Schubert

prof. ucz.

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

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

2024Z - Idee i informatyka 1000-217bIII

2024Z - Idee i informatyka 1000-317bIII

2024Z - Kompetencje miękkie w zarządzaniu projektami IT 1000-2M24ZPZ

2024Z - MatchIT 7600-MIT-OG

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

2025Z - Idee i informatyka 1000-217bIII

2025Z - Technologia i ludzie: fundamenty nowoczesnego IT 1000-2M25TIL

2025L - Idee i informatyka 1000-2M25III

2025L - Projekt badawczy 1000-218bPRB

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

2025 - Języki programowania 1000-2D13JP

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

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

Prowadzone przedmioty

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 - Innovative software 2500-EN-COG-F24: Seminarium (grupa 1)

2024Z - Kompetencje miękkie w zarządzaniu projektami IT 1000-2M24ZPZ: Laboratorium (grupa 1)

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)

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

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

2024L - Licencjacki grupowy projekt badawczy 3800-KOG-LGPB: Projekt badawczy (grupa 7)

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)

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

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

2025Z - Programowanie współbieżne 1000-213bPW: Laboratorium (grupa 5)

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

2025Z - Technologia i ludzie: fundamenty nowoczesnego IT 1000-2M25TIL: Ćwiczenia (grupa 1), Wykład (grupa 1)

2025L - Idee i informatyka 1000-2M25III: Laboratorium (grupa 1), Wykład (grupa 1)

2025L - Projekt badawczy 1000-218bPRB: Projekt (grupa 6)

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

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

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

2025 - 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. ucz.

PBN ID

5e709358878c28a0473a7b83

55-44-575

Banacha 2, 02-097 Warszawa, pokój 5700

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

https://orcid.org/0000000293166098

adres email jest ukryty

wyślij wiadomość do użytkownika