Projects funded by the NCN

Frontiers of automatic analysis of concurrent systems

Call: OPUS 21 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Structure and algorithms for graph classes defined by transduction-closed properties

Call: SONATA 18 , Panel: ST6

Principal investigator: dr Jakub Gajarský

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modern tools for complex network analysis

Call: OPUS 25 , Panel: ST6

Principal investigator: dr Małgorzata Sulkowska

Politechnika Wrocławska

Analysis of quantitative models of computation

Call: SONATA BIS 14 , Panel: ST6

Principal investigator: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym

Call: ETIUDA 6 , Panel: ST6

Principal investigator: dr Adam Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Deep Neural Architectures for Automated Theorem Proving

Call: PRELUDIUM 15 , Panel: ST6

Principal investigator: Bartosz Piotrowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Machine learning and automatic theorem proving

Call: OPUS 15 , Panel: ST6

Principal investigator: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorithmic models of prediction: formal properties and philosophical implications

Call: OPUS 16 , Panel: HS1

Principal investigator: dr Dariusz Kalociński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Data-enriched models of computation

Call: OPUS 18 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Towards Estimation of Information Content for Graph Structures

Call: SONATA 16 , Panel: ST6

Principal investigator: dr Krzysztof Szymon Turowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki