Daria Walukiewicz-Chrząszcz


starszy wykładowca
Instytut Informatyki
Wydział Matematyki, Informatyki i Mechaniki
Uniwersytet Warszawski

ul. Banacha 2, 02-097 Warszawa
Telefon (bezp.): 22 554 4471
Telefon (sekr.): 22 554 4484
Fax: 22 554 4400

2018/2019

Zajęcia

  • Wstęp do programowania (podejście funkcyjne)
  • Podstawy matematyki
  • Metody realizacji języków programowania
  • Języki i paradygmaty programowania
  • Języki, automaty i obliczenia
  • Zaawansowane programowanie funkcyjne (notatki z 2018)
  • Logika

Konsultacje: piątki 14:15-15:45

Zainteresowania badawcze

  • przepisywanie termów
  • rachunek lambda i systemy typów
  • dowodzenie twierdzeń, systemy wspomagania dowodzenia
  • specyfikacja i weryfikacja programów
  • bezpieczeństwo

Publikacje

Seminarium Logika i teoria typów odbywa się w piątki o 12:15

Projekty badawcze

Niektóre poprzednie projekty:

  • Automatyzacja wnioskowania konstruktywnego - grant finansowany przez Narodowe Centrum Nauki
  • MOBIUS - Mobility, Ubiquity and Security, EU funded Integrated Project
  • TYPES - Types for Proofs and Programs, EU funded Coordination Action