Projects funded by the NCN

Formal verification in data-enriched models of computation

Call: OPUS 28 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski

On the border of impossible in classical automata theory

Call: OPUS 28 , Panel: ST6

Principal investigator: dr hab. Paweł Parys

Uniwersytet Warszawski

Classicality and compositionality of general probabilistic theories in infinite dimensions

Call: PRELUDIUM 23 , Panel: ST2

Principal investigator: Matthias Salzger

Uniwersytet Gdański

Synthesis via active learning: theory and applications

Call: OPUS 27 , Panel: ST6

Principal investigator: dr hab. Jan Otop

Uniwersytet Wrocławski

Rigorous numerical methods for Functional Differential Equations

Call: OPUS 25 , Panel: ST6

Principal investigator: dr Robert Szczelina

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Conformal Field Theory in the Limit of Infinite Central Charge: Applications to the Study of Quantum Integrable Systems ...

Call: OPUS 25 , Panel: ST2

Principal investigator: dr hab. Marcin Radosław Piątek

Uniwersytet Szczeciński, Instytut Fizyki

Superconductivity and magnetism in infinite-layer nickelates and in heterostructures

Call: OPUS 22 , Panel: ST3

Principal investigator: dr hab. Wojciech Mikołaj Brzezicki

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Constraint Satisfaction Problems: beyond the finite case

Call: WEAVE-UNISONO , Panel: ST6

Principal investigator: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Computational aspects of infinite-duration games

Call: OPUS 21 , Panel: ST6

Principal investigator: dr hab. Paweł Czesław Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

Call: OPUS 19 , Panel: ST6

Principal investigator: dr hab. Michał Maria Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Normalized solutions to semilinear elliptic problems

Call: PRELUDIUM 19 , Panel: ST1

Principal investigator: dr Jacopo Schino

Instytut Matematyczny 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

Non-commutative probability - relations between various notions of independence

Call: SONATA 12 , Panel: ST1

Principal investigator: dr Kamil Szpojankowski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Fundamental thermodynamic and physicochemical measurements of systems with ionic liquids for the extraction and separati...

Call: OPUS 12 , Panel: ST5

Principal investigator: prof. Urszula Maria Domańska-Żelazna

Politechnika Warszawska, Wydział Chemiczny

Heat kernels: construction and estimates

Call: OPUS 12 , Panel: ST1

Principal investigator: dr Tomasz Grzywny

Politechnika Wrocławska

Symbolic computations on first-order definable objects

Call: OPUS 11 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Infinite dimensional Conley index and its applications to Hamiltonian systems and Seiberg-Witten equations.

Call: PRELUDIUM 9 , Panel: ST1

Principal investigator: dr Maciej Starostka

Instytut Matematyczny Polskiej Akademii Nauk

Optical single-pixel detection based on the theory of compressive sensing

Call: OPUS 8 , Panel: ST7

Principal investigator: dr hab. Rafał Zdzisław Kotyński

Uniwersytet Warszawski, Wydział Fizyki

Decidability issues for automata on infinite structures

Call: OPUS 7 , Panel: ST6

Principal investigator: prof. Damian Tadeusz Niwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Frontiers of automatic verification: new methods of analysis of infinite-state systems

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Fixed-points methods in controllability of nonlinear systems.

Call: OPUS 4 , Panel: ST7

Principal investigator: prof. Jerzy Klamka

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

Ergodic theory and its applications in dynamics, arithmetic, and algebra

Call: SONATA BIS 2 , Panel: ST1

Principal investigator: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Hierarchy-type Problems for Automata on Infinite Words and Trees

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Michał Paweł Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Extension of the classical semi-infinite unflanged duct model towards its improved applicability to outlet noise control

Call: OPUS 2 , Panel: ST8

Principal investigator: dr hab. Anna Snakowska

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Mechanicznej i Robotyki

Generalized Markov decision models and games

Call: OPUS 2 , Panel: ST1

Principal investigator: dr hab. Anna Jaśkiewicz

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Axiomatizations of varieties and quasivarieties

Call: SONATA 1 , Panel: ST1

Principal investigator: dr Michał Stronkowski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Calculus on random integral mappings and their applications.

Call: OPUS 1 , Panel: ST1

Principal investigator: prof. Zbigniew Jan Jurek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki