Daria Walukiewicz-Chrząszcz


Senior Lecturer
Institute of Informatics
Faculty of Mathematics, Informatics and Mechanics
Warsaw University

ul. Banacha 2, 02-097 Warszawa, Poland
Phone (direct): +48 22 554 4471
Phone (secr.): +48 22 554 4484
Fax: +48 22 554 4400

Research interests

  • term rewriting
  • lambda calculus and type systems
  • theorem proving, proof assistants
  • program specification and verification
  • security

Publications

Research projects

I am involved in the following research projects:

  • Automatyzacja wnioskowania konstruktywnego - the grant funded by the Polish government

Some past projects:

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