dr Piotr Hofman

Affiliation

adiunkt, Institute of Informatics

Mail

piotr.hofman@uw.edu.pl

Phone

55-44-458

Room

03.109

Website

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

Other information

Employee's page on USOSweb

Consultations

środy 16:30

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

Publications

• Publications list (45)

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.