Projects funded by the NCN

Development and implementation of model checking methods for real-time and multi-agent systems

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Bożena Woźna-Szcześniak

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

New methods of comprehensive analysis of concurrent computing systems

Call: SONATA 5 , Panel: ST6

Principal investigator: dr Łukasz Mikulski

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Study of the capabilities and limits of the use of Petri nets for modeling and analysis of complex biological systems on...

Call: OPUS 4 , Panel: ST6

Principal investigator: prof. Piotr Formanowicz

Instytut Chemii Bioorganicznej PAN

Counting models in formal verification

Call: SONATA BIS 12 , Panel: ST6

Principal investigator: dr Filip Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Linear algebra in orbit-finite dimension

Call: PRELUDIUM 21 , Panel: ST6

Principal investigator: Arka Ghosh

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Frontiers of automatic analysis of concurrent systems

Call: OPUS 21 , Panel: ST6

Principal investigator: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Data-enriched models of computation

Call: OPUS 18 , Panel: ST6

Principal investigator: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Analysis and decomposition of a control part of a cyber-physical system specified by an interpreted Petri net.

Call: OPUS 18 , Panel: ST6

Principal investigator: dr hab. Remigiusz Wiśniewski

Uniwersytet Zielonogórski

Automatic analysis of concurrent systems

Call: OPUS 14 , Panel: ST6

Principal investigator: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Understanding recursion

Call: SONATA 13 , Panel: ST6

Principal investigator: dr Lorenzo Clemente

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Symbolic computations on first-order definable objects

Call: OPUS 11 , Panel: ST6

Principal investigator: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algebraic invariants of Data Petri Nets.

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki