Projekty finansowane przez NCN

Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Geometria układów Pfaffa i zastosowania w teorii równań różniczkowych oraz teorii sterowania

Konkurs: SONATA 2 , panel: ST1

Kierownik: dr Wojciech Kryński

Instytut Matematyczny PAN

Problemy spełnialności i równoważności dla skończonych algebr

Konkurs: OPUS 23 , panel: ST6

Kierownik: dr Jacek Krzaczkowski

Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki

Stożkowa Normalność Stanów Infra-próżniowych

Konkurs: PRELUDIUM 20 , panel: ST1

Kierownik: Bartosz Biadasiewicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Geometryczne i homologiczne problemy teorii reprezentacji algebr

Konkurs: OPUS 19 , panel: ST1

Kierownik: dr hab. Grzegorz Bobiński

Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Matematyki i Informatyki

Problemy klasyfikacji w dynamice topologicznej i teorii ergodycznej

Konkurs: PRELUDIUM BIS 1 , panel: ST1

Kierownik: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki