Projects funded by the NCN

Efficient algorithms and representations in formal languages and automata theory.

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Some analytic aspects of groups and their representations

Call: PRELUDIUM 3 , Panel: ST1

Principal investigator: dr Łukasz Garncarek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Stochastic recursions modeled on the smoothing transform

Call: OPUS 3 , Panel: ST1

Principal investigator: prof. Dariusz Buraczewski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorithmic fundamentals of supply chain networks

Call: SONATA BIS 5 , Panel: ST6

Principal investigator: dr hab. Jarosław Byrka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Parisian fluctuation theory for Lévy processes

Call: SONATA 10 , Panel: ST1

Principal investigator: dr Irmina Czarna

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Teoria modeli z działaniem grupy skończonej

Call: ETIUDA 4 , Panel: ST1

Principal investigator: Daniel Hoffmann

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

A quest for new computer logics

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nonlocal parabolic problems: regularity, blowup, pattern formation

Call: OPUS 12 , Panel: ST1

Principal investigator: prof. Piotr Biler

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Exit problems for reflected Levy processes and its applications

Call: PRELUDIUM 12 , Panel: ST1

Principal investigator: Joanna Tumilewicz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algebraic Effects and Continuations

Call: POLONEZ 3 , Panel: ST6

Principal investigator: dr Maciej Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Ograniczone, niezmiennicze relacje równoważności

Call: ETIUDA 5 , Panel: ST1

Principal investigator: Tomasz Rzepecki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Groups with combinatorial non-positive curvature

Call: OPUS 13 , Panel: ST1

Principal investigator: dr Damian Osajda

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Classical problems in the theory of finite automata: new approaches, variants, and applications

Call: OPUS 13 , Panel: ST6

Principal investigator: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Schroedinger perturbations of integral kernels

Call: PRELUDIUM 4 , Panel: ST1

Principal investigator: dr Sebastian Sydor

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Singularities and asymptotic profiles in nonlocal models

Call: OPUS 5 , Panel: ST1

Principal investigator: prof. Grzegorz Karch

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Optimal investments and dividend policies

Call: OPUS 5 , Panel: HS4

Principal investigator: prof. Zbigniew Palmowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Reasoning about programs in higher-order languages

Call: OPUS 8 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Compression, logic, formal langauges: new approaches unifying different areas.

Call: OPUS 8 , Panel: ST6

Principal investigator: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Arithmetic and geometry of fields with operators

Call: OPUS 22 , Panel: ST1

Principal investigator: prof. Piotr Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

First Order Logic and Beyond. Some Puzzles in Database Theory.

Call: OPUS 23 , Panel: ST6

Principal investigator: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

The power of branching and learning for online scheduling and bin packingproblems

Call: SONATA 18 , Panel: ST6

Principal investigator: dr Martin Böhm

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Processing massive string data and beyond: algorithms and conditional lower bounds

Call: OPUS 26 , Panel: ST6

Principal investigator: dr Paweł Gawrychowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Norm estimates for Riesz transforms

Call: PRELUDIUM BIS 1 , Panel: ST1

Principal investigator: dr hab. Błażej Wróbel

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Learning Latent Data Structure from Observations

Call: OPUS 18 , Panel: ST6

Principal investigator: dr Jan Chorowski

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

Random branching and affine structures

Call: OPUS 17 , Panel: ST1

Principal investigator: prof. Ewa Damek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Randomly perturbated Hierarchical Laplacian and Poisson statistics of its spectrum

Call: OPUS 9 , Panel: ST1

Principal investigator: prof. Alexander Bendikov

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Exit problems and extremes of stochastic processes in view towards stochastic modelling

Call: OPUS 9 , Panel: ST1

Principal investigator: prof. Krzysztof Dębicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki