Projects funded by the NCN

Actions of Coxeter groups on non-positively and negatively curved spaces

Call: PRELUDIUM 3 , Panel: ST1

Principal investigator: Kamil Duszenko

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

The BDD/FC Conjecture and beyond

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: Tomasz Mirosław Gogacz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Reccurent sets for random walk driven by low moment measures.

Call: PRELUDIUM 6 , Panel: ST1

Principal investigator: dr Wojciech Cygan

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Efficient algorithms for finding optiml tours of a traveling salesman and related problems

Call: OPUS 6 , Panel: ST6

Principal investigator: dr Katarzyna Paluch

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Set theoretic methods in topology and in Banach space theory.

Call: OPUS 6 , Panel: ST1

Principal investigator: prof. Grzegorz Plebanek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Languages and Learning in General Game Playing

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: Jakub Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Communication Problems in Wireless Sensor Networks

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: Michał Andrzej Różański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Functionals of reflected Gaussian and Lévy processes: asymptotic properties

Call: OPUS 1 , Panel: ST1

Principal investigator: prof. Krzysztof Grzegorz Dębicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Stochastic models based on stochastically monotone Markov processes: analysis of stationary conditions.

Call: OPUS 1 , Panel: ST1

Principal investigator: prof. Ryszard Jacek Szekli

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Mathematical modelling of risk measures and optimal strategies

Call: OPUS 1 , Panel: HS4

Principal investigator: prof. Zbigniew Palmowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Quantitative specifications: learning, algorithms and applications

Call: OPUS 14 , Panel: ST6

Principal investigator: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Biinvariant metrics on groups: geometry and dynamics

Call: OPUS 14 , Panel: ST1

Principal investigator: dr hab. Światosław Roman Gal

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Efficient algorithms and conditional lower bounds for problems on trees

Call: PRELUDIUM 14 , Panel: ST6

Principal investigator: Bartłomiej Dudek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algebraic structure of combinatorial objects

Call: OPUS 11 , Panel: ST1

Principal investigator: prof. Andrzej Marian Kisielewicz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algebraic and topological methods in model theory

Call: SONATA BIS 6 , Panel: ST1

Principal investigator: prof. Krzysztof Cyprian Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Descriptive set theory: structure and dynamics of Polish groups

Call: SONATA 12 , Panel: ST1

Principal investigator: dr Aleksandra Kwiatkowska

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

How lifetime is changing? Detection of drift changes in mortality models

Call: PRELUDIUM 12 , Panel: HS4

Principal investigator: Michał Krzysztof Krawiec

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algebraic Effects and Continuations

Call: POLONEZ 3 , Panel: ST6

Principal investigator: dr Maciej Adam Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Application of modern algorithmic methods for solving NP-hard clustering problems.

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Krzysztof Sornat

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Difference algebra and cohomology of groups

Call: OPUS 10 , Panel: ST1

Principal investigator: dr hab. Piotr Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

A quest for new computer logics

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Random iterations, stationary measures and Poisson kernels

Call: OPUS 8 , Panel: ST1

Principal investigator: prof. Ewa Maria Damek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Logics for data analysis and verification

Call: SONATA 8 , Panel: ST6

Principal investigator: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Weighted automata for quantitative properties

Call: SONATA 8 , Panel: ST6

Principal investigator: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Learning Latent Data Structure from Observations

Call: OPUS 18 , Panel: ST6

Principal investigator: dr hab. Piotr Wnuk-Lipiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorithms for connectivity under uncertainty

Call: OPUS 20 , Panel: ST6

Principal investigator: dr hab. Jarosław Byrka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Markovian structures with heavy tails

Call: SONATA 16 , Panel: ST1

Principal investigator: dr Piotr Ryszard Dyszewski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Biautomatic and non-positively curved groups

Call: SONATA 18 , Panel: ST1

Principal investigator: dr Motiejus Valiunas

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki