Affiliation

adiunkt, Institute of Informatics

Fields of interest

Lambda calculus, term rewriting

Mail

D.Walukiewicz@mimuw.edu.pl

Phone

55-44-571

Room

5710

Personal webpage*

http://www.mimuw.edu.pl/~daria

Other information

Employee's page on USOSweb

Office hours (availability for students)

Piątki, 10:15 - 11:45

terminy konsultacji obowiązują w czasie trwania zajęć dydaktycznych

*The University of Warsaw is not responsible for the content published on employees’ personal webpages.

Functions

Supervisor of the master's studies - computer science Faculty of Mathematics, Informatics, and Mechanics

Fields of research

Logic in Computer Science
Semantics and Formal Methods
Formal verification of software, proof-carrying code