dr Daria Walukiewicz-Chrząszcz

Affiliation

adiunkt, Institute of Informatics

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 w tygodniach nieparzystych, 14:00 - 16:00

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

Commissions, councils

• Institute of Informatics Council - Rada Instytutu Informatyki_2024