dr Daria Walukiewicz-Chrząszcz

Affiliation

Institute of Informatics

Consultations

czwartki 14:15-15:45 terminy konsultacji obowiązują w czasie trwania zajęć dydaktycznych

Phone

55-44-571

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