Jacek Chrząszcz

Position: adiunkt (Assistant Professor) at Institute of Informatics

My interests: rewriting, lambda-calculus, proof assistants, ...

My non-interests: creating cool web-pages, creating web-pages, ...

Here you can get my papers.

Address:

office: 5710
tel: (+48-22) 55 44 571
fax: (+48-22) 55 44 400
email: chrzaszcz@mimuw.edu.pl

Zajęcia:

• System wspomagania dowodzenia - Coq (pełniejszy opis wykładu 2008/09)

Dawne zajęcia:

• Pisanie bezpiecznych programow w Javie 2006/07
• Propozycje tematow programow zaliczeniowych z PF 2006/07
• Narzędzia oceny i utrzymywania jakości kodu 2005/06
• System wspomagania dowodzenia - Coq 2005/06
• Zespołowy projekt programistyczny 2004/05
• System wspomagania dowodzenia - Coq 2003/04