University of Warsaw - Central Authentication System
Strona główna
dr

Jacek Chrząszcz

Sign in to see more.

Overview

(in Polish) adiunkt in Institute of Informatics

Office hours (availability for students)

(in Polish) W semestrze letnim 2025/26 zapraszam na konsultacje w środy w godz 14:15-15:45 w moim biurze 5710.
Ale bardzo proszę o informację np. drogą mailową o zamiarze przyjścia - jeśli nikt się nie zapowie, będę czekać tylko kwadrans akademicki :)
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.

Interests

Lambda calculus, term rewriting, proof-assistants

Courses coordinated

Courses conducted

First names
Jacek Ludwik
Surname
Chrząszcz
Degrees and titles
dr
PBN ID
3929001
55-44-571
Banacha 2, 02-097 Warszawa, room 5710

Go to timetable
ul. Banacha 2
02-097 Warszawa
tel: +48 22 55 44 214 https://www.mimuw.edu.pl/
contact accessibility statement site map USOSweb 7.2.0.0-35119b753 (2025-11-17)