Jacek Chrząszcz
Position: adiunkt (Assistant Professor) at Institute of
Informatics
My interests: rewriting, lambda-calculus, type theory, proof assistants,
software correctness, ...
My non-interests: creating cool web-pages, creating web-pages, ...
Here you can get my papers.
Address:
Institute of Informatics,
Warsaw University,
ul. Banacha 2
02-097 Warszawa
POLAND
office: 5710
tel: (+48) 22 55 44 571
fax: (+48) 22 55 44 400
email: chrzaszcz@mimuw.edu.pl
Konsultacje
W semestrze letnim 2023/24 zapraszam na konsultacje zwykle w środy w godz
16:00-17:00 w moim biurze 5710, choć zdarza mi się je rozpoczynać w labie, w
którym kończę poprzednie zajęcia. Ale bardzo proszę o informację drogą
mailową o zamiarze przyjścia - jeśli nikt się nie zapowie, będę czekać tylko
kwadrans akademicki :) Gdybym musiał odwołać albo przenieść konsultacje, to
informację o tym umieszczę tutaj.
Niektóre zajęcia: