Afiliacja: adiunkt, Instytut Informatyki
Zainteresowania: Rachunek lambda, przepisywanie termów, systemy wspomagania dowodzenia
Mail: J.Chrzaszcz@mimuw.edu.pl
Telefon: 55-44-571
Pokój: 5710
Prywatna strona domowa*: http://www.mimuw.edu.pl/~chrzaszcz
Inne informacje: Strona pracownika w USOSweb
Terminy konsultacji dla studentów: W semestrze zimowym 2026/27 zapraszam na konsultacje w piątki w godz 10:15-11:45 w moim biurze 5710.
Ale bardzo proszę o informację np. drogą mailową o zamiarze przyjścia.
Gdybym musiał odwołać albo przenieść konsultacje, to informację o tym umieszczę pod adresem
https://www.mimuw.edu.pl/~chrzaszcz/konsultacje.html
Można też próbować umówić się ze mną na inny termin.

*Uniwersytet Warszawski nie odpowiada za treści publikowane na stronach domowych pracowników.

Dziedziny badań

Inżynieria oprogramowania
Programowanie funkcyjne i obiektowe, jakość kodu, Java
Logika w informatyce
Rachunek lambda, przepisywanie termów, systemy wspomagania dowodzenia
Semantyka i metody formalne
Formalna weryfikacja oprogramowania, kod zawierający dowód

dr Jacek Chrząszcz