Affiliation: adiunkt, Institute of Informatics
Fields of interest: Lambda calculus, term rewriting, proof-assistants
Mail: J.Chrzaszcz@mimuw.edu.pl
Phone: 55-44-571
Room: 5710
Personal webpage*: http://www.mimuw.edu.pl/~chrzaszcz
Other information: Employee's page on USOSweb
Office hours (availability for students): 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.

*The University of Warsaw is not responsible for the content published on employees’ personal webpages.

Fields of research

Logic in Computer Science
Semantics and Formal Methods
Formal verification of software, proof-carrying code
Software Engineering
Functional and object-oriented programming, code quality, Java

dr Jacek Chrząszcz