dr Daria Walukiewicz-Chrząszcz

Affiliation

adiunkt, Institute of Informatics

Mail

D.Walukiewicz@mimuw.edu.pl

Phone

55-44-571

Room

5710

Website

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

Other information

Employee's page on USOSweb

Office hours (availability for students)

Piątek 14:00 - 15:30

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

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