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


Niektóre zajęcia:

Niektóre dawne zajęcia:

Rejestracja na Seminaria magisterskie na informatyce