dr Filip Mazowiecki

Affiliation

adiunkt, Institute of Informatics

Mail

F.Mazowiecki@mimuw.edu.pl

Phone

55-44-502

Other information

Employee's page on USOSweb

Office hours (availability for students)

Piatki: 12:00 - 14:00

Publications

• Publications list (46)

Commissions, councils

• Institute of Informatics Council - Rada Instytutu Informatyki_2024

Grants

• Counting models in formal verification
  Financed by: National Science Center
• Counting models in formal verification
  Financed by: National Science Center (Sonata BIS)