dr Piotr Hofman

Afiliacja

adiunkt, Instytut Informatyki

Mail

piotr.hofman@uw.edu.pl

Telefon

55-44-458

Strona internetowa

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

Konsultacje

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

Publikacje

• Publikacje (43)

Dziedziny badań

• Logika w informatyce
• Modele współbieżności
• Teoria automatów

Granty

• Algebraiczne niezmienniki dla Sieci Petriego z danymi
• Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem