Projects funded by the NCN

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

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Sławomir 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

Rigorous numerical methods for Functional Differential Equations

Call: OPUS 25 , Panel: ST6

Principal investigator: dr Robert Szczelina

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Superconductivity and magnetism in infinite-layer nickelates and in heterostructures

Call: OPUS 22 , Panel: ST3

Principal investigator: prof. Andrzej Oleś

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

Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

Call: OPUS 19 , Panel: ST6

Principal investigator: dr Michał Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Infinity in reasoning about data and knowledge

Call: SONATA BIS 8 , Panel: ST6

Principal investigator: dr hab. Filip Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Call: OPUS 12 , Panel: ST5

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

Politechnika Warszawska, Wydział Chemiczny

Symbolic computations on first-order definable objects

Call: OPUS 11 , Panel: ST6

Principal investigator: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki