dr Piotr Hofman

Afiliacja

adiunkt, Instytut Informatyki

Konsultacje

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

Telefon

55-44-458

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