dr Daria Walukiewicz-Chrząszcz

Afiliacja

adiunkt, Instytut Informatyki

Mail

D.Walukiewicz@mimuw.edu.pl

Telefon

55-44-571

Pokój

5710

Prywatna strona domowa*

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

Inne informacje

Strona pracownika w USOSweb

Terminy konsultacji dla studentów

Piątki w tygodniach nieparzystych, 14:00 - 16:00

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

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

Funkcje

• Opiekun etapu magisterskiego - informatyka Wydział Matematyki, Informatyki i Mechaniki

Dziedziny badań

• Logika w informatyce
  Rachunek lambda, przepisywanie termów
• Semantyka i metody formalne
  Formalna weryfikacja oprogramowania, kod zawierający dowód

Komisje, rady

• Rada Instytutu Informatyki - Rada Instytutu Informatyki_2024