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

2019/2020

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
  • Logika
  • Rachunek lambda

Konsultacje: czwartki 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

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