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

Office hours (availability for students)

ś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.
  Financed by: National Science Center