Daria Walukiewicz-Chrząszcz


adiunkt
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

2009/2010

Zajęcia

  • Wstęp do programowania (podejście imperatywne)
    Wykłady i ćwiczenia na Ważniaku
  • Podstawy matematyki
  • Weryfikacja wspomagana komputerowo
  • Przepisywanie termów

Konsultacje: piątki 13:30-15:00

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 15:00

Projekty badawcze

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

  • Teoria typów w badaniach własności programów - grant finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego

Niektóre poprzednie projekty:

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