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.
office: 5710
tel: (+48-22) 55 44 571
fax: (+48-22) 55 44 400
email: chrzaszcz@mimuw.edu.pl