Projekty finansowane przez NCN

Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Małgorzata Biernacka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Izomorfizm w elipsie: wyzwania opuszczania przyimków

Konkurs: OPUS 24 , panel: HS2

Kierownik: dr Marta Ruda

Uniwersytet Jagielloński, Wydział Filologiczny

H-grafy - rozpoznawanie, izomorfizm i problemy pokrewne

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Jan Derbisz

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Izomorfizmy algebr ścieżek Leavitta zachowujące ich podstruktury

Konkurs: PRELUDIUM 20 , panel: ST1

Kierownik: Anna Cichocka

Politechnika Warszawska

Analiza Fouriera i Teoria Operatorów.

Konkurs: OPUS 17 , panel: ST1

Kierownik: prof. Mieczysław Mastyło

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

Geometryczna i Miarowa Teoria Grup 2

Konkurs: HARMONIA 10 , panel: ST1

Kierownik: dr Damian Osajda

Instytut Matematyczny Polskiej Akademii Nauk

Problem Izomorfizmu Elekcji

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: Stanisław Szufa

Uniwersytet Jagielloński, Centrum Badań Ilościowych nad Polityką