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 2023/24 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: