Jacek Chrząszcz

Overview

(in Polish) adiunkt in Institute of Informatics

Office hours (availability for students)

(in Polish) W semestrze zimowym 2024/25 zapraszam na konsultacje w czwartki 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

Interests

Lambda calculus, term rewriting, proof-assistants

Courses coordinated

2023Z - Foundations of mathematics 1000-211bPM

2023L - Logics for computer scientists 1000-217bLOG

2023 - Programming languages 1000-2D13JP

2024Z - Foundations of mathematics 1000-211bPM

2024Z - Functional Programming in OCaml 1000-2M24PFO

2024 - Programming languages 1000-2D13JP

Courses conducted

2023Z - Compiler construction 1000-217bMRJ: Classes (group 2), Lab (group 2)

2023Z - Foundations of mathematics 1000-211bPM: Classes (group 9), Lecture (group 2)

2023Z - Introductory programming 1000-211bWPI: Classes (group 6)

2023Z - Languages and tools for programming III 1000-225bJNP3: Classes (group 5)

2023Z - Object-oriented Programming and Design 3800-KOG-PPO: Classes (group 4)

2023Z - Python programming course 1000-213bPYT: Lab (group 4)

2023L - Computer architecture and operating systems 1000-212bAKSO: Lab (group 11)

2023L - Logics for computer scientists 1000-217bLOG: Lab (group 1), Lab (group 5)

2023L - Object-oriented programming 1000-212cPO: Lab (group 8)

2023L - Programming languages and paradigms 1000-216bJPP: Lab (group 7)

2023L - Tools Supporting Data Analysis in Python 1000-1M20NPD: Lab (group 3)

2023 - Programming languages 1000-2D13JP: Second cycle diploma seminar (group 1)

2024Z - Compiler construction 1000-217bMRJ: Classes (group 2), Lab (group 6)

2024Z - Foundations of mathematics 1000-211bPM: Classes (group 9), Lecture (group 2)

2024Z - Functional Programming in OCaml 1000-2M24PFO: Lab (group 1)

2024Z - Introductory programming 1000-211bWPI: Classes (group 6)

2024Z - Python programming course 1000-213bPYT: Lab (group 4)

2024L - Computer architecture and operating systems 1000-212bAKSO: Lab (group 7)

2024L - Functional programming 1000-2M24PFU: Lab (group 3)

2024L - Logics for computer scientists 1000-217bLOG: Lab (group 1), Lab (group 2)

2024L - Tools Supporting Data Analysis in Python 1000-1M20NPD: Lab (group 3)

2024 - Programming languages 1000-2D13JP: Second cycle diploma seminar (group 1)

First names

Jacek Ludwik

Surname

Chrząszcz

Degrees and titles

PBN ID

3929001

55-44-571

Banacha 2, 02-097 Warszawa, room 5710

http://www.mimuw.edu.pl/~chrzaszcz

https://orcid.org/0000000319137421

email address is hidden

send a message to the user