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

Niektóre zajęcia:

• Języki i paradygmaty programowania (link do strony Marcina Benke)
• Podstawy matematyki (link do strony Pawła Urzyczyna)

Niektóre dawne zajęcia:

• 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

Rejestracja na Seminaria magisterskie na informatyce

• Dane historyczne o średnich, czyli "Jaką trzeba było mieć średnią w roku ..., żeby się dostać na ...?"
• Szczegółowe zasady liczenia średniej, czyli "Które przedmioty są brane pod uwagę przy obliczaniu średniej używanej do rejestracji na seminaria?"
• Harmonogram rejestracji, czyli "Kiedy będą wyniki rejestracji?"