PL

Teaching


(Selected) classes

[+]

Semantics and program verification, winter 2024/25


[+]

Languages and paradigms of programming, summer 2023/24


[+]

Languages and paradigms of programming, summer 2021/22


[+]

Program Semantics and Verification, winter 2021/22


[+]

Languages and paradigms of programming, summer 2020/21


[+]

Selected topics in set theory, summer 2019/20


[+]

Languages, Automata, and Computations, winter 2016/17


[+]

Logics for Computer Scientists, winter 2015/16


[+]

Selected topics in set theory, winter 2015/16


[+]

Automata on Infinite Trees, summer 2013/14


[+]

Foundations of Mathematics, winter 2012/13


[+]

Program Semantics and Verification, winter 2010/11


Judge your lecturer: wikispaces
USOSweb
Please appoint to consultations by e-mail.
mskrzypczak mimuw edu pl
back
last modification: 14:03 08.10.2024