Daria Walukiewicz-Chrząszcz

Overview

(in Polish) adiunkt in Institute of Informatics

(in Polish) Czwartek 8:30-10:00

terminy konsultacji obowiązują w czasie trwania zajęć dydaktycznych

Lambda calculus, term rewriting

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

2023Z - Foundations of mathematics 1000-211bPM: Classes (group 7)

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

2023L - Advanced functional programming 1000-2M11ZPF: Lab (group 1), Lecture (group 1)

2023L - Languages, automata and computations 1000-214bJAO: Classes (group 3), Classes (group 8)

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

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

2024Z - (in Polish) Programowanie funkcyjne w Ocamlu 1000-2M24PFO: Lab (group 2)

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

2024Z - Foundations of mathematics 1000-211bPM: Classes (group 7)

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

2024Z - Logic and type theory 1000-2M13LTT: Classes (group 1)

2024L - Advanced functional programming 1000-2M11ZPF: Lab (group 1), Lab (group 2), Lecture (group 1)

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

2024L - Languages, automata and computations 1000-214bJAO: Classes (group 3)

2024L - Logics for computer scientists 1000-217bLOG: Classes (group 3), Lab (group 4), Lab (group 5)

First names

Daria Monika

Surname

Walukiewicz-Chrząszcz

Degrees and titles

PBN ID

3929366

55-44-571

Banacha 2, 02-097 Warszawa, room 5710

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

email address is hidden

send a message to the user