Nie jesteś zalogowany |
Powrót do listy pracowników
dr Daria Walukiewicz-Chrząszcz
- Afiliacja
-
adiunkt,
Instytut Informatyki
- D.Walukiewicz@mimuw.edu.pl
- Telefon
- 55-44-571
- Pokój
- 5710
- Strona internetowa
- http://www.mimuw.edu.pl/~daria
- Inne informacje
- Strona pracownika w USOSweb
- Terminy konsultacji dla studentów
Czwartek 14:15 - 15:45
terminy konsultacji obowiązują w czasie trwania zajęć dydaktycznych
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
