dr hab. Wojciech Czerwiński, prof. ucz.

Affiliation

profesor uczelni, Institute of Informatics

Fields of interest

Automata theory, infinite-state systems (in particular Petri nets/VASS), logic

Mail

W.Czerwinski@mimuw.edu.pl

Phone

55-44-564

Personal webpage*

http://www.mimuw.edu.pl/~wczerwin

Other information

Employee's page on USOSweb

Office hours (availability for students)

Do ustalenia mailowo

Publications

• Publications list (56)

Fields of research

• Automata Theory
  
• Concurrency
  
• Databases
  Algorithmics of query processing over semi-structured data (XML, JSON).
• Logic in Computer Science
  

Commissions, councils

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

Grants

• Reachability in Infinite Systems at High Resolution (POLARIS)
  Financed by: European Research Council (ERC Consolidator grant)
  Promotional materials
• Challenging problems in infinite-state systems
  Financed by: European Research Council (ERC Starting grant)
  Promotional materials
• Separability problem in automata theory