Projects funded by the NCN

Finite automata: selected problems and applications connecting different areas

Call: OPUS 21 , Panel: ST6

Principal investigator: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Classical problems in the theory of finite automata: new approaches, variants, and applications

Call: OPUS 13 , Panel: ST6

Principal investigator: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Decidability issues for automata on infinite structures

Call: OPUS 7 , Panel: ST6

Principal investigator: prof. Damian Tadeusz Niwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Synchronization of automata and the Cerny conjecture

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Simulation and bisimulation for context-free and pushdown systems

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Construction of multi-state DNA computer working with more than one restriction enzymes

Call: OPUS 1 , Panel: NZ2

Principal investigator: dr hab. Tomasz Popławski

Uniwersytet Łódzki, Wydział Biologii i Ochrony Środowiska

Development of the mathematical model for the phase transformation research of the peritectic systems on the base of cel...

Call: OPUS 1 , Panel: ST8

Principal investigator: dr hab. Andriy Burbelko

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Odlewnictwa