dr Piotr Hofman

Affiliation

Institute of Informatics

Consultations

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

Phone

55-44-458

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.