Projects funded by the NCN

Efficiency, robustness and security of distributed systems with more realistic adversarial models.

Call: OPUS 13 , Panel: ST6

Principal investigator: prof. Marek Klonowski

Politechnika Wrocławska

Dynamic graphs; connectivity, flows and coloring.

Call: SONATA 13 , Panel: ST6

Principal investigator: dr Anna Zych-Pawlewicz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Robust optimization algorithms for problems with uncertain data

Call: SONATA 13 , Panel: ST6

Principal investigator: dr Maciej Drwal

Politechnika Wrocławska

Around optimality of dynamic programming algorithms

Call: PRELUDIUM 14 , Panel: ST6

Principal investigator: dr Adam Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Programowanie dynamiczne z gwarancjami

Call: ETIUDA 6 , Panel: ST6

Principal investigator: Karol Węgrzycki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Compression, logic, formal langauges: new approaches unifying different areas.

Call: OPUS 8 , Panel: ST6

Principal investigator: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Development of Models and Methods for Incorporating Knowledge to Support Vector Machines

Call: SONATA 9 , Panel: ST6

Principal investigator: dr Marcin Orchel

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

Application of modern algorithmic methods for solving NP-hard clustering problems.

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Krzysztof Sornat

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

The topology of solution spaces of combinatorial problems

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: Marcin Wrochna

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Identity Wallet in a Hostile Environment: Privacy and Trust By-Design

Call: OPUS 26 (LAP) , Panel: ST6

Principal investigator: prof. Mirosław Kutyłowski

Naukowa i Akademicka Sieć Komputerowa - Państwowy Instytut Badawczy

Automatic generation of user's manual for web applications

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: Bartosz Alchimowicz

Politechnika Poznańska, Wydział Informatyki

Distributed Computing in Dynamic Networks

Call: HARMONIA 3 , Panel: ST6

Principal investigator: dr hab. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

New methods in parametric model checking

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: Michał Knapik

Instytut Podstaw Informatyki PAN

Minimization of disturbance in quantum walk based algorithms and protocols.

Call: PRELUDIUM 6 , Panel: ST6

Principal investigator: Przemysław Sadowski

Instytut Informatyki Teoretycznej i Stosowanej PAN

Complexity of algorithms on compressed data

Call: OPUS 7 , Panel: ST6

Principal investigator: prof. Wojciech Rytter

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Limits of Databases

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Szymon Toruńczyk

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

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

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