dr hab. Paweł Parys, prof. ucz.

Affiliation

profesor uczelni, Institute of Informatics

Mail

parys@mimuw.edu.pl

Phone

55-44-573

Room

03.111

Other information

Employee's page on USOSweb

Office hours (availability for students)

środy, 12:00-14:00 (można umawiać się także na inne terminy)

konsultacje obowiązują w czasie trwania zajęć dydaktycznych

Publications

• Publications list (68)

Fields of research

• Automata Theory
  
• Databases
  Database theory, static analysis, reasoning with ontologies and knowledge bases.
• Logic in Computer Science
  

Commissions, councils

• Faculty Council - Electoral College
• Institute of Informatics Council - Rada Instytutu Informatyki_2024

Grants

• Computational aspects of infinite-duration games
  Financed by: National Science Center (Opus)
• Quantitative properties for higher-order recursion schemes
• Quantitative properties for higher-order recursion schemes
  Financed by: National Science Center
• Limits of decidability in automata theory.
  Financed by: National Science Center