prof. dr hab.

Paweł Urzyczyn

Overview

(in Polish) profesor in Institute of Informatics

(in Polish) Poniedziałki od 19 do ostatniego klienta, zdalnie

https://us02web.zoom.us/j/84593508534

termin konsultacji obowiązuje w czasie trwania zajęć dydaktycznych

Mathematical foundations of computer science, logic in computer science, type theory

2023Z - Complexity theory 1000-716ZOB: Classes (group 1), Lecture (group 1)

2023Z - Foundations of mathematics 1000-211bPM: Classes (group 1), Lecture (group 1)

2023Z - Lambda calculus 1000-2M02RL: Classes (group 1), Lecture (group 1)

2023 - (in Polish) Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT: Research seminar (group 1)

2024Z - Complexity theory 1000-716ZOB: Lecture (group 1)

2024Z - Foundations of mathematics 1000-211bPM: Lecture (group 1)

2024Z - Logic and type theory 1000-2M13LTT: Lecture (group 1)

2024 - (in Polish) Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT: Research seminar (group 1)

First names

Paweł Jacek

Surname

Urzyczyn

Degrees and titles

prof. dr hab.

PBN ID

5e709355878c28a0473a76ef

55-44-570

Banacha 2, 02-097 Warszawa, room 5700

http://www.mimuw.edu.pl/~urzy

https://orcid.org/0000000337199618

email address is hidden

send a message to the user