Zainteresowania
Problemy Spełnialności Więzów
Złożoność Obliczeniowa
Logika w Informatyce
Algebra Uniwersalna
Granty
-
Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów
Narodowe Centrum Nauki
Rola: Kierownik
2021-01-26 - 2026-01-25
Michał Wrona
stopień/tytuł doktor habilitowany stanowiskobadawczo-dydaktyczne, profesor uczelni
jednostka
- Katedra Algorytmiki
- Instytut Informatyki Analitycznej
michal.wrona@uj.edu.pl
www