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

Afiliacja

profesor uczelni, Instytut Informatyki

Zainteresowania

Teoria automatów, systemy nieskończenie stanowe (szczególnie sieci Petriego/VASSy), logika

Mail

W.Czerwinski@mimuw.edu.pl

Telefon

55-44-564

Prywatna strona domowa*

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

Inne informacje

Strona pracownika w USOSweb

Terminy konsultacji dla studentów

Do ustalenia mailowo

Publikacje

• Publikacje (56)

Dziedziny badań

• Bazy danych
  Algorytmika przetwarzania zapytań na danych semistrukturalnych (XML, JSON).
• Logika w informatyce
  
• Modele współbieżności
  
• Teoria automatów
  

Komisje, rady

• Rada Wydziału - Profesorowie i dr hab.
• Rada Instytutu Informatyki - Rada Instytutu Informatyki_2024

Granty

• Problem osiągalności w nieskończonych systemach w dużej rozdzielczości (POLARIS)
  Finansowany przez: European Research Council (ERC Consolidator grant)
  Materiały promocyjne
• Trudne problemy w systemach nieskończenie-stanowych (INFSYS)
  Finansowany przez: European Research Council (ERC Starting grant)
  Materiały promocyjne
• Problem separacji w teorii automatów