dr Piotr Hofman

Affiliation

Institute of Informatics

Mail

piotr.hofman@uw.edu.pl

Phone

55-44-458

Website

https://www.mimuw.edu.pl/~ph209519/

Consultations

środy 16:30 terminy konsultacji obowiązują w czasie trwania zajęć dydaktycznych

Publications

• Publications list (43)

Fields of research

• Automata Theory
• Concurrency
• Logic in Computer Science

Grants

• Algebraic invariants of Data Petri Nets
• Simulation and bisimulation for context-free and pushdown system.