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

2016/2017

Zajęcia


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

Biorę udział w pracach następujących projektów badawczych:

  • Automatyzacja wnioskowania konstruktywnego - grant finansowany przez Narodowe Centrum Nauki

Niektóre poprzednie projekty:

  • MOBIUS - Mobility, Ubiquity and Security, EU funded Integrated Project
  • TYPES - Types for Proofs and Programs, EU funded Coordination Action