Projects funded by the NCN

Lorentzian Spectral Action

Call: PRELUDIUM 5 , Panel: ST1

Principal investigator: dr Michał Jerzy Eckstein

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Asymptotic methods in lambda calculus and combinatory logic

Call: OPUS 6 , Panel: ST6

Principal investigator: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Holomorphically invariant distances in special classes of domains.

Call: PRELUDIUM 6 , Panel: ST1

Principal investigator: Maria Helena Trybuła

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Development of machne learning methods with an application of determining of chemical compounds activitiy

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: dr Marek Andrzej Śmieja

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Computational topological dynamics

Call: MAESTRO 6 , Panel: ST1

Principal investigator: prof. Marian Mrozek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Classification problems in topological dynamics and ergodic theory

Call: PRELUDIUM BIS 1 , Panel: ST1

Principal investigator: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Algorithmic Nullstellensatz

Call: OPUS 18 , Panel: ST6

Principal investigator: dr hab. Bartłomiej Emil Bosek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Lipschitz geometry of metric spaces, its operator theory, and harmonic analysis

Call: SONATA 15 , Panel: ST1

Principal investigator: dr Tomasz Marcin Kania

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Transformer-based methods for novel active chemical compounds

Call: PRELUDIUM 18 , Panel: ST6

Principal investigator: Łukasz Andrzej Maziarka

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

DATALOG in Constraint Satisfaction Problem

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Rigorous numerics and computer assisted proofs for dissipative partial differential equations.

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: Jacek Cyranka

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Generalisation of the entropy and entropy dimension and their applications

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Jacek Tabor

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki