Projects funded by the NCN

On the border of impossible in classical automata theory

Call: OPUS 28 , Panel: ST6

Principal investigator: dr hab. Paweł Parys

Uniwersytet Warszawski

Synthesis via active learning: theory and applications

Call: OPUS 27 , Panel: ST6

Principal investigator: dr hab. Jan Otop

Uniwersytet Wrocławski

Polynomial finite state computation

Call: MAESTRO 14 , Panel: ST6

Principal investigator: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Mechanistic explanation of a generation of (and deviations from) the universal curve of the Earthquake Recurrence Time D...

Call: OPUS 14 , Panel: ST10

Principal investigator: dr hab. Mariusz Jacek Białecki

Instytut Geofizyki PAN

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

Quantitative properties for higher-order recursion schemes

Call: SONATA BIS 6 , Panel: ST6

Principal investigator: dr hab. Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Separability problem in automata theory

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Wojciech Karol Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Limits of decidability in automata theory

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Efficient algorithms and representations in formal languages and automata theory.

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki