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 zimowym 2024/25 zapraszam na konsultacje w czwartki w godz
14:15-15:45 (NOWY TERMIN) w moim biurze 5710. Ale bardzo proszę o
informację np. 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: