Nie jesteś zalogowany | Zaloguj się

PL /
EN

Afiliacja

adiunkt, Instytut Informatyki

Mail

D.Walukiewicz@mimuw.edu.pl

Telefon

55-44-571

Pokój

Strona internetowa

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

Inne informacje

Strona pracownika w USOSweb

Terminy konsultacji dla studentów

Piątek 14:00 - 15:30

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