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

2024/2025

Zajęcia


Konsultacje: terminy są w USOSie, proszę o email

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