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:

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

Konsultacje

Niektóre zajęcia:

• Podstawy matematyki (link do strony Pawła Urzyczyna)

Niektóre dawne zajęcia:

• Języki i paradygmaty programowania (link do strony Marcina Benke)
• Programowanie z typami zależnymi i dowodzenie twierdzeń wykład laboratorium 2014/15
• Konstruowanie niezawodnego oprogramowania 2013/14
• System wspomagania dowodzenia - Coq 2008/09
• 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