dr Piotr Hofman

Afiliacja

adiunkt, Instytut Informatyki

Mail

piotr.hofman@uw.edu.pl

Telefon

55-44-458

Pokój

03.109

Strona internetowa

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

Inne informacje

Strona pracownika w USOSweb

Terminy konsultacji dla studentów

środy 16:30

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

Publikacje

• Publikacje (45)

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
  Finansowany przez: Narodowe Centrum Nauki