You are not logged in | Log in

PL /
EN

All financing institutions

{% include 'grants/institution_logo_link.html' with url_by_financing_institution='grants:past_grants_by_financing_institution' url_without_financing_institution='grants:past_grants' %} {% include 'grants/institution_logo_link.html' with url_by_financing_institution='grants:past_grants_by_financing_institution' url_without_financing_institution='grants:past_grants' %}

Other financing institutions

Institute of Mathematics

Adaptive methods in approximate reasoning
Principal investigator: prof. dr hab. inż. Andrzej Skowron

Financed by: State Committee for Scientific Research
Algebraic Geometry: Varieties and Structures.
Principal investigator: prof. dr hab. Jarosław Wiśniewski

Financed by: National Science Center
Algebraic Torus Actions: Geometry and Combinatorics
Principal investigator: prof. dr hab. Jarosław Wiśniewski

Financed by: National Science Center
Algebraic group actions on varieties
Principal investigator: prof. dr hab. Mariusz Koras

Financed by: State Committee for Scientific Research
Algebraic methods in the study of the quantum Yang-Baxter equation - braces and associative algebras
Principal investigator: prof. dr hab. Jan Okniński

Financed by: National Science Center
Algebraic methods in the study of the quantum of Yang-Baxter equation - braces and associative algebras
Principal investigator: prof. dr hab. Jan Okniński

Financed by: National Science Center
Algebraic structures and properties of algebraic varieties
Principal investigator: prof. dr hab. Adrian Langer

Financed by: Ministry of Science and Higher Education
Algebraic structures related to set theoretic solutions of the quantum Yang-Baxter equation
Principal investigator: prof. dr hab. Jan Okniński

Financed by: National Science Center
Algebraic topology
Algebraic topology
Principal investigator: prof. dr hab. Stanisław Betley

Financed by: Ministry of Science and Higher Education
Algebraic varietes related to combinatorial structures
Principal investigator: dr Maria Donten-Bury

Financed by: National Science Center
Algebraic varieties and algebraic structures
Principal investigator: prof. dr hab. Jarosław Wiśniewski

Financed by: State Committee for Scientific Research
Algebraic varieties via finite groups actions
Principal investigator: prof. dr hab. Jarosław Wiśniewski

Financed by: National Science Center
Algebraic varieties: arithmetic and geometry
Principal investigator: prof. dr hab. Adrian Langer

Financed by: National Science Center
Analogy based methods of automated reasoning from knowledge base
Principal investigator: prof. dr hab. inż. Andrzej Skowron

Financed by: State Committee for Scientific Research
Analysis of complex stochastic systems
Principal investigator: prof. dr hab. Tomasz Bojdecki

Financed by: Ministry of Science and Higher Education
Analysis of stochastic models with geometry
Principal investigator: dr hab. Piotr Miłoś, prof. IMPAN

Financed by: National Science Center
Analysis of stochastic models.
Principal investigator: dr hab. Piotr Miłoś, prof. IMPAN

Financed by: Foundation for Polish Science
Analysis on metric spaces and its applications to nonlinear elliptic equations, probability and calculus of variations
Principal investigator: prof. dr hab. Paweł Strzelecki

Financed by: State Committee for Scientific Research
Anticipative Skorohod integral in conuclear spaces
Principal investigator: prof. dr hab. Tomasz Bojdecki

Financed by: State Committee for Scientific Research
Badanie procesów Bernoulliego i chaosu Gaussowskiego
Financed by: National Science Center
Behaviour of properties of rings and modules under selected constructions
Principal investigator: prof. dr hab. Edmund Puczyłowski

Financed by: National Science Center
Borel sets in function spaces with the weak topology
Principal investigator: prof. dr hab. Roman Pol

Financed by: State Committee for Scientific Research
Brackets - constructions, properties, applications
Change of time for Markov processes and its influence on Markov structures
Financed by: National Science Center
Classsification of function spaces
Principal investigator: prof. dr hab. Witold Marciszewski

Financed by: State Committee for Scientific Research
Combinatorics and structure of Hecke-Kiselman algebras
Principal investigator: dr Magdalena Wiertel

Financed by: National Science Center
Complex stochastic systems
Principal investigator: prof. dr hab. Tomasz Bojdecki

Financed by: State Committee for Scientific Research
Concentration of measure
Principal investigator: dr Michał Strzelecki
Concentration of measure and functional inequalities
Principal investigator: dr Bartłomiej Polaczyk

Financed by: National Science Center
Concept approximation synthesis
Principal investigator: prof. dr hab. inż. Andrzej Skowron

Financed by: State Committee for Scientific Research
Conformal dynamical systems and the geometry of fractal sets
Principal investigator: prof. dr hab. Anna Zdunik

Financed by: State Committee for Scientific Research
Cox rings of resolutions of quotient singularities.
Principal investigator: dr Maria Donten-Bury

Financed by: National Science Center
Curves and surfaces on algebraic varieties
Principal investigator: prof. dr hab. Jarosław Wiśniewski

Financed by: State Committee for Scientific Research
Data structures and dynamic algorithms for planar graphs
Principal investigator: dr Adam Karczmarz
Decision support with use of interactive granular computing
Principal investigator: dr Marcin Szczuka

Financed by: National Science Center
Derived categories and birational geometry
Principal investigator: dr Agnieszka Bodzenta-Skibińska

Financed by: National Science Center
Deterministic algorithms for factoring integers and polynomials over finite fields
Deterministyczne i losowe zjawiska w układach dynamicznych
Principal investigator: prof. dr hab. Krzysztof Barański
Development of rule query languages applied in intelligent systems
Principal investigator: prof. dr hab. Andrzej Szałas

Financed by: National Science Center
Differential equations, geometry and physics
Principal investigator: prof. dr hab. Henryk Żołądek

Financed by: Ministry of Science and Higher Education
Dynamical systems and geometry
Principal investigator: prof. dr hab. Henryk Żołądek

Financed by: State Committee for Scientific Research
Dynamical systems and geometry
Principal investigator: prof. dr hab. Henryk Żołądek

Financed by: State Committee for Scientific Research
Dynamics of random systems
Principal investigator: prof. dr hab. Anna Talarczyk-Noble

Financed by: National Science Center
Equivariant Khovanov homology - its structure and applications
Principal investigator: dr Wojciech Politarczyk

Financed by: National Science Center
Estimates for moments of random vectors
Principal investigator: dr Marta Strzelecka

Financed by: National Science Center
Estimates of random vectors and processes
Principal investigator: prof. dr hab. Rafał Latała

Financed by: National Science Center
Estimates of stochastic processes - probabilistic and geometricapproach
Principal investigator: dr Rafał Meller

Financed by: National Science Center
European Algebraic Geometry Research Training Network EAGER
Principal investigator: prof. dr hab. Jarosław Wiśniewski

Financed by: European Commission
Exact, abelian and triangulated categories in algebra and geometry
Principal investigator: dr Agnieszka Bodzenta-Skibińska

Financed by: National Science Center
Finitely presented algebras and noetherian semigroup algebras
Principal investigator: prof. dr hab. Jan Okniński

Financed by: State Committee for Scientific Research
Formula hierarchie in weak arithmetics and their extensions by counting quantifiers
Principal investigator: dr hab. Leszek Kołodziejczyk

Financed by: Ministry of Science and Higher Education
Gaussian Processes and Estimations of Moments of Random Variables
Principal investigator: Tomasz Tkocz

Financed by: National Science Center
Generalizations and applications of Bialynicki-Birula decomposition
Principal investigator: dr hab. Joachim Jelisiejew

Financed by: National Science Center
Generation of approximate Bayesian networks from data: Rough set methods
Principal investigator: prof. dr hab. inż. Andrzej Skowron

Financed by: State Committee for Scientific Research
Generic chaining approach to the regularity of stochastic processes
Principal investigator: prof. dr hab. Witold Bednorz, prof. UW

Financed by: National Science Center
Geometric and analytic properties of ordinary differential equations
Principal investigator: prof. dr hab. Henryk Żołądek

Financed by: National Science Center
Geometric and ergodic properties of dynamical systems II
Principal investigator: prof. dr hab. Anna Zdunik

Financed by: National Science Center
Geometric and ergotic properties of dynamical systems
Principal investigator: prof. dr hab. Anna Zdunik

Financed by: Ministry of Science and Higher Education
Geometric curvature energies
Principal investigator: prof. dr hab. Paweł Strzelecki

Financed by: Ministry of Science and Higher Education
Geometric curvature functionals for non-smooth subsets of Euclidean space
Principal investigator: prof. dr hab. Paweł Strzelecki

Financed by: National Science Center
Geometric properties of sequences of Sobolev homeomorphisms and homeomorphisms of bounded variation
Principal investigator: Hubert Grochowski

Financed by: National Science Center
Geometric singularities of invariants of the group of symplectomorphisms
Geometry and vriations of geometric structures on algebraic varietes
Principal investigator: prof. dr hab. Adrian Langer

Financed by: National Science Center
Geometry of affine varieties and birational mappings.
Principal investigator: prof. dr hab. Mariusz Koras

Financed by: National Science Center
Group actions on algebraic varieties and birational maps
Principal investigator: prof. dr hab. Mariusz Koras

Financed by: Ministry of Science and Higher Education
Hereditarily indecomposable continua of higher dimensions
Principal investigator: prof. dr hab. Elżbieta Pol

Financed by: Ministry of Science and Higher Education
High Dimensional Probability
Principal investigator: dr hab. Radosław Adamczak, prof. ucz.

Financed by: Ministry of Science and Higher Education
Homology planes with singularities
Principal investigator: prof. dr hab. Mariusz Koras

Financed by: Ministry of Science and Higher Education
Hypercontraction and functional inequalities for product measures
Principal investigator: prof. dr hab. Krzysztof Oleszkiewicz

Financed by: Ministry of Science and Higher Education
Ideals in Polish spaces and the Fubini Property
Induction for bounded formulas and its relativizations
Principal investigator: dr hab. Leszek Kołodziejczyk

Financed by: National Science Center
Inequalities for log-concave vectors
Principal investigator: dr Marta Strzelecka

Financed by: National Science Center
Inequalities for semimartingales and stochastic integrals
Principal investigator: prof. dr hab. Adam Osękowski

Financed by: Ministry of Science and Higher Education
Integral Menger curvature for surfaces of arbitrary codimension.
Principal investigator: prof. dr hab. Paweł Strzelecki

Financed by: National Science Center
Interactive computations in knowledge discovery from complex data source
Principal investigator: dr hab. Hung Son Nguyen, prof. UW

Financed by: Ministry of Science and Higher Education
Interactive process mining
Principal investigator: prof. dr hab. inż. Andrzej Skowron

Financed by: Ministry of Science and Higher Education
Iterations of holomorphic functions II
Jeffrey-Kirwan residues in applications to equivariant Gysin homomorphism
Principal investigator: dr Magdalena Zielenkiewicz

Financed by: National Science Center
Jump Markov processes and their Schroedinger perturbations
Financed by: National Science Center
Knot theory
Principal investigator: dr hab. Maciej Borodzik, prof. IMPAN
Legendrian varieties in algebraic geometry
Principal investigator: prof. dr hab. Jarosław Wiśniewski

Financed by: State Committee for Scientific Research
Limit cycles for polynomial vector fields (doctoral dissertation grant)
Principal investigator: prof. dr hab. Henryk Żołądek

Financed by: Ministry of Science and Higher Education
Limit theorems for branching particle systems
Principal investigator: prof. dr hab. Tomasz Bojdecki

Financed by: Ministry of Science and Higher Education
Local geometry of the Hilbert scheme of points and its applications
Principal investigator: dr hab. Joachim Jelisiejew

Financed by: National Science Center
Log-concave Measures and Geometry of Convex Bodies
Principal investigator: dr hab. Piotr Nayar

Financed by: National Science Center
Lowdimensional affine algebraic geometry
Principal investigator: prof. dr hab. Mariusz Koras

Financed by: National Science Center
Martingale and concentration inequalities
Principal investigator: dr Michał Strzelecki

Financed by: National Science Center
Martingale inequalities and their applications to the study of Fourier multipliers
Principal investigator: prof. dr hab. Adam Osękowski

Financed by: Ministry of Science and Higher Education
Meromorphic linear differential equations and multiple zeta values (doctoral dissertation grant)
Principal investigator: prof. dr hab. Henryk Żołądek

Financed by: Ministry of Science and Higher Education
Methods of dynamical systems and fractal geometry in the study of complex networks
Moment and tail estimates for random multilinear forms
Principal investigator: prof. dr hab. Rafał Latała

Financed by: State Committee for Scientific Research
Morphisms and diagonals of Mori Dream Spaces, phylogenetics and applications of Cox rings
Principal investigator: dr hab. Jarosław Buczyński, prof. IMPAN

Financed by: National Science Center
Multigrated Hilbert schemes
Principal investigator: dr Tomasz Mańdziuk

Financed by: National Science Center
NNowoczesne narzędzia inżynierskie do wspomagania decyzji przeznaczone dla dowódców podczas działań ratowniczo-gaśniczych PSP w obiektach budowlanych
Principal investigator: prof. dr hab. Dominik Ślęzak

Financed by: The National Centre for Research and Development
Networks of classifiers
Principal investigator: prof. dr hab. inż. Andrzej Skowron

Financed by: State Committee for Scientific Research
New Geometry of Quantum Dynamics
Principal investigator: dr hab. Tomasz Maszczyk

Financed by: Instytut Matematyczny Polskiej Akademii Nauk
New computational combinatorial geometrical topological and algebraic methods applied to noetherian orders
Principal investigator: prof. dr hab. Jan Okniński

Financed by: Ministry of Science and Higher Education
New concepts of equilibria in dynamic games and their economic applications
Principal investigator: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW

Financed by: National Science Center
New topics in theory of Nobeling manifolds
Principal investigator: dr Andrzej Nagórko

Financed by: National Science Center
Nieliniowe formy całkowe zwiazane ze skokowymi procesami Markowa
Principal investigator: prof. dr hab. Katarzyna Pietruska-Pałuba

Financed by: National Science Center
Nierówności dla nieprzemiennych martyngałów
Principal investigator: prof. dr hab. Adam Osękowski

Financed by: National Science Center
Nonlinear eigenvalue problems.
Principal investigator: dr Paweł Bechler

Financed by: National Science Center
Nonlinear geometric and variational problems
Principal investigator: prof. dr hab. Paweł Strzelecki

Financed by: State Committee for Scientific Research
Nonlinear geometric and variational problems
Principal investigator: prof. dr hab. Paweł Strzelecki

Financed by: Ministry of Science and Higher Education
Ogus-Vologodsky correspondence for singular varieties
Principal investigator: Maciej Zdanowicz

Financed by: National Science Center
Optimal concentration inequalities
Principal investigator: dr hab. Piotr Nayar

Financed by: National Science Center
Orlicz-Sobolev Spaces and their applications to the nonlinear elliptic PDE’s, probability theory and calculus of variations
Principal investigator: prof. dr hab. Agnieszka Kałamajska

Financed by: Ministry of Science and Higher Education
Orlicz-Sobolev spaces and their applications to nonlinear elliptic equations, probability and calculus of variations
Principal investigator: prof. dr hab. Agnieszka Kałamajska

Financed by: State Committee for Scientific Research
Orthogonal polynomials and the Painleve equations
Principal investigator: dr hab. Galina Filipuk

Financed by: Ministry of Science and Higher Education
Osobliwości przekształceń harmonicznych
Principal investigator: dr Michał Miśkiewicz

Financed by: National Science Center
Parabolic problems of surface evolution in the theory of phase transitions
Principal investigator: prof. dr hab. Piotr Rybka

Financed by: Ministry of Science and Higher Education
Particle systems, occupation times and self-similar processes
Financed by: National Science Center
Passage from arithmetic to school algebra.
Pointwise regularity theory for sets, measures and varifolds
Principal investigator: dr hab. Sławomir Kolasiński

Financed by: National Science Center
Probabilistic aspects of the Takens embedding theorem
Financed by: National Science Center
Probabilistic inequalities.
Principal investigator: prof. dr hab. Rafał Latała

Financed by: National Science Center
Probabilistic properties of logarithmically concave measures
Principal investigator: prof. dr hab. Rafał Latała

Financed by: Ministry of Science and Higher Education
Propositional logics and high dimensional weak categories
Coordinator: dr hab. Marek Zawadowski, prof. UW

Financed by: State Committee for Scientific Research
Provability, computation and combinatorics at the lower and intermediate levels of Gödel hierarchy
Principal investigator: dr hab. Leszek Kołodziejczyk

Financed by: National Science Center
Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy
Principal investigator: dr hab. Leszek Kołodziejczyk

Financed by: National Science Center
Qualitative and ergodic properties of smooth dynamical systems
Principal investigator: prof. dr hab. Henryk Żołądek

Financed by: State Committee for Scientific Research
Quantum curves and Schrödinger equations in matrix models
Financed by: National Science Center
Radicals and sets of special elements of associative rings
Principal investigator: prof. dr hab. Edmund Puczyłowski

Financed by: State Committee for Scientific Research
Random series and stochastic integrals
Principal investigator: prof. dr hab. Stanisław Kwapień

Financed by: State Committee for Scientific Research
Random series, stochastic integrals: single and multiple
Principal investigator: prof. dr hab. Stanisław Kwapień

Financed by: State Committee for Scientific Research
Research task SYNAT: „Establishment of the universal, open, hosting and communication, repository platform for network resources of knowledge to be used by science, education and open knowledge society” Strategic scientific research and experimental development program: „Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”
Resource allocation in selfish and cooperative distributed systems
Principal investigator: dr hab. Piotr Skowron

Financed by: National Science Center
Rigidity for actions on Banach spaces and applications
Ring properties expressible in terms of ideals
Principal investigator: dr hab. Jerzy Matczuk, prof. UW

Financed by: Ministry of Science and Higher Education
Risk modelling in finance
Principal investigator: prof. dr hab. Jacek Jakubowski

Financed by: Ministry of Science and Higher Education
Scalable Self-Managed Point-to-Point Routing for the Internet of Things Applications
Principal investigator: dr hab. Konrad Iwanicki, prof. UW

Financed by: Foundation for Polish Science
Selected Aspects of Scalability of Methods of Data Mining and Knowledge Discovery in Databases
Principal investigator: prof. dr hab. Dominik Ślęzak

Financed by: National Science Center
Selected topics in kton theory
Principal investigator: dr hab. Maciej Borodzik, prof. IMPAN

Financed by: National Science Center
Selected topics on the borderline of nonlinear PDEs and geometric measure theory
Principal investigator: prof. dr hab. Paweł Strzelecki
Selected topics on the borderline of nonlinear PDEs and geometric measure theory
Principal investigator: prof. dr hab. Paweł Strzelecki

Financed by: National Science Center
Self-intersection local times of Gaussian processes in S'
Principal investigator: prof. dr hab. Tomasz Bojdecki

Financed by: State Committee for Scientific Research
Semigroup theoretical methods in the study of associative algebras
Principal investigator: prof. dr hab. Jan Okniński

Financed by: Ministry of Science and Higher Education
Semigroup theoretical methods in the study of associative algebras and their representations
Principal investigator: prof. dr hab. Jan Okniński

Financed by: Ministry of Science and Higher Education
Semigroups of matrices
Principal investigator: prof. dr hab. Jan Okniński

Financed by: Ministry of Science and Higher Education
Simulation and bisimulation for context-free and pushdown system.
Principal investigator: dr Piotr Hofman

Financed by: National Science Center
Singular contact varieties
Principal investigator: dr Robert Śmiech

Financed by: National Science Center
Singularities and global properties of nonlinear differential equations
Singularities of minimizing biharmonic maps
Principal investigator: dr Katarzyna Mazowiecka

Financed by: National Science Center
Small gaps between almost primes
Principal investigator: dr Paweł Lewulis

Financed by: National Science Center
Solutions of the quantum Yang-Baxter equation and associated algebraic structures: (semi)groups, associative algebras and skew braces
Principal investigator: dr Łukasz Kubat

Financed by: National Science Center
Some aspects of pricing and hedging of contingent claims in discrete time financial market model
Principal investigator: prof. dr hab. Jacek Jakubowski

Financed by: National Science Center
Spaces of continuous functions
Principal investigator: prof. dr hab. Witold Marciszewski

Financed by: State Committee for Scientific Research
Spaces of continuous functions with the topology of pointwise convergence
Principal investigator: prof. dr hab. Witold Marciszewski

Financed by: State Committee for Scientific Research
Stochastic inequalities and their applications
Principal investigator: prof. dr hab. Krzysztof Oleszkiewicz

Financed by: Ministry of Science and Higher Education
Stochastic methods in theory of smooth dynamical systems
Principal investigator: prof. dr hab. Anna Zdunik

Financed by: National Science Center
Stochastic systems and their applications
Principal investigator: prof. dr hab. Tomasz Bojdecki

Financed by: State Committee for Scientific Research
Strategy of teaching mathematics in Poland
Principal investigator: prof. dr hab. Zbigniew Marciniak

Financed by: Ministry of Science and Higher Education
Strict polynomial functors and the Lusztig conjecture.
Principal investigator: dr hab. Marcin Chałupnik

Financed by: National Science Center
Subspace semigroup of finite dimensional algebras and noetherian algebras
Principal investigator: prof. dr hab. Jan Okniński

Financed by: State Committee for Scientific Research
Systems of nonlinear eliptic equations: regularity of solutions, structure of singularities and related topics
Principal investigator: prof. dr hab. Paweł Strzelecki

Financed by: National Science Center
Teorio-modelowe i algebraiczne własności rozdzielczo domkniętych G-ciał
Principal investigator: dr Daniel Hoffmann

Financed by: National Science Center
Terminalizations of symplectic quotient singularities and their Cox rings
Financed by: National Science Center
The concentration of measure phenomenon
Principal investigator: dr hab. Radosław Adamczak, prof. ucz.

Financed by: National Science Center
The triple nature of mathematics: deep ideas, surface representations, formal models.
Principal investigator: prof. dr hab. Zbigniew Semadeni

Financed by: State Committee for Scientific Research
Topological and measure-theoretic properties of small subsets of Polish spaces
Principal investigator: prof. dr hab. Piotr Zakrzewski

Financed by: Ministry of Science and Higher Education
Topological properties of invariant sets in transcendental dynamics
Principal investigator: prof. dr hab. Krzysztof Barański

Financed by: National Science Center
Topological structure of function spaces
Principal investigator: prof. dr hab. Witold Marciszewski

Financed by: State Committee for Scientific Research
Topology and Borel structure of function spaces
Principal investigator: prof. dr hab. Witold Marciszewski

Financed by: Ministry of Science and Higher Education
Transport equation in the modern theory of partial differential equations
Financed by: National Science Center
Two-sided bounds for random chaoses
Principal investigator: dr Rafał Meller

Financed by: National Science Center
Type theory for examination of program properties
Principal investigator: prof. dr hab. Paweł Urzyczyn

Financed by: Ministry of Science and Higher Education
Upper and lower bounds for stochastic processes
Principal investigator: prof. dr hab. Witold Bednorz, prof. UW

Financed by: National Science Center
Varieties and algebraic bundles
Principal investigator: prof. dr hab. Adrian Langer

Financed by: State Committee for Scientific Research
Varieties, bundles, algebraic structures and their moduli
Principal investigator: prof. dr hab. Jarosław Wiśniewski

Financed by: Ministry of Science and Higher Education
Weighted inequalities for classical operators
Principal investigator: prof. dr hab. Adam Osękowski

Financed by: National Science Center
Weighted inequalities for maximal operators
Principal investigator: dr Mateusz Rapicki

Financed by: National Science Center
Zeros and special values of automorphic L-functions
Principal investigator: prof. dr hab. Jacek Pomykała

Financed by: State Committee for Scientific Research

Institute of Informatics

Probabilistic tools for high-dimensional geometric inference, topological data analysis, and large-scale networks.
Principal investigator: dr Kunal Dutta

Financed by: National Science Center
A novel probabilistic model for cell type identification in spatial transcriptomics and single-cell RNA sequencing data
Financed by: National Science Center
A proof assistant for large applications based on the Calculus of Constructions ( doctoral dissertation grant )
Principal investigator: prof. dr hab. Paweł Urzyczyn

Financed by: State Committee for Scientific Research
A theory of logic programming in modal and description logics
Principal investigator: dr hab. Anh Linh Nguyen, prof. UW

Financed by: Ministry of Science and Higher Education
A unified theory of finite-state recognisability
Principal investigator: prof. dr hab. Mikołaj Bojańczyk

Financed by: European Research Council
Abstract specification theory and its applications
Principal investigator: prof. dr hab. Andrzej Tarlecki

Financed by: State Committee for Scientific Research
Adaptive simulations in modeling large decision processes with application to Go game (doctoral dissertation grant)
Principal investigator: prof. dr hab. Krzysztof Diks

Financed by: Ministry of Science and Higher Education
Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Checking of Ontologies
Principal investigator: dr hab. Anh Linh Nguyen, prof. UW

Financed by: National Science Center
Advanced computations in spreadsheets
Principal investigator: prof. dr hab. Jerzy Tyszkiewicz

Financed by: National Science Center
Advanced problems in automata theory
Principal investigator: prof. dr hab. Damian Niwiński

Financed by: Ministry of Science and Higher Education
Algebraic graph algorithms (doctoral dissertation grant )
Principal investigator: prof. dr hab. Krzysztof Diks

Financed by: State Committee for Scientific Research
Algebraic invariants of Data Petri Nets
Principal investigator: dr Piotr Hofman
Algorithmic Structure Theory for Sparse Graphs
Algorithmic and combinatorial problems related to enumerating repetitions in words
Principal investigator: prof. dr hab. Wojciech Rytter

Financed by: National Science Center
Algorithmic and computational problems of bioinformatics
Principal investigator: prof. dr hab. Jerzy Tiuryn

Financed by: State Committee for Scientific Research
Algorithmic path problems in planar graphs (doctoral dissertation grant)
Principal investigator: prof. dr hab. Krzysztof Diks

Financed by: State Committee for Scientific Research
Algorithmic problems of systems biology and bioinformatics
Principal investigator: prof. dr hab. Jerzy Tiuryn

Financed by: Ministry of Science and Higher Education
Algorithmics and Combinatorics in Non-Standard Stringology
Principal investigator: dr hab. Jakub Radoszewski, prof. UW

Financed by: Ministry of Science and Higher Education
Algorithmics of problems of huge sizes
Principal investigator: prof. dr hab. Wojciech Rytter

Financed by: State Committee for Scientific Research
Algorithms for co-allocating services in datacentres
Principal investigator: dr hab. Krzysztof Rządca, prof. UW
Algorithms for inferring multi-contact interactions from chromosome conformation capture data
Principal investigator: dr Aleksander Jankowski
Algorithms for text processing with errors and uncertainties
Principal investigator: dr hab. Jakub Radoszewski, prof. UW
Algorytmiczne i kombinatoryczne aspekty okresowości i powtórzeń w słowach
Principal investigator: Tomasz Kociumaka

Financed by: Ministry of Science and Higher Education
Algorytmiczne wyzwania spektrometrii masowej
Principal investigator: prof. dr hab. Anna Gambin

Financed by: National Science Center
Algorytmy i modele statystyczne służące do przewidywania schematów fragmentacji cząsteczek podczas dysocjacji indukowanej kolizjami
Principal investigator: Grzegorz Skoraczyński

Financed by: National Science Center
An analysis of groups and signals which are used in protein structure composition from local descriptors
Principal investigator: prof. dr hab. Jerzy Tiuryn

Financed by: State Committee for Scientific Research
Analisis of stochastic geometric models
Financed by: National Science Center
Analiza strukturalna i predykcja modułów cis-regulatorowych w genomach wyższych eukariontów
Principal investigator: dr hab. Norbert Dojer

Financed by: National Science Center
Analysis and Development of Process Mining Methods Based on Skeletal Algorithms
Financed by: National Science Center
Analysis of physical and biological problems in the framework of mathematical entropies
Principal investigator: prof. dr hab. Piotr Gwiazda

Financed by: Ministry of Science and Higher Education
Application of algebraic methods in algorithmic graph theory
Principal investigator: dr hab. Piotr Sankowski, prof. UW

Financed by: Ministry of Science and Higher Education
Applications of automata theory to processing XML documents
Principal investigator: prof. dr hab. Mikołaj Bojańczyk

Financed by: Ministry of Science and Higher Education
Applied logic and functional programming
Principal investigator: prof. dr hab. Jerzy Tiuryn

Financed by: State Committee for Scientific Research
Approximate multiagent systems
Principal investigator: prof. dr hab. Barbara Dunin-Kęplicz

Financed by: Ministry of Science and Higher Education
Approximation algorithms under data uncertainty
Principal investigator: dr Michał Włodarczyk
Approximation and parameterized local serch algorithms
Principal investigator: dr hab. Marek Cygan

Financed by: Foundation for Polish Science
Architectures for Mobility
Principal investigator: prof. dr hab. Andrzej Tarlecki

Financed by: European Commission
Atlas of brain regulatory regions and regulatory networks - a novel system biology approach to pathogenesis of selected neurological disorders
Principal investigator: dr hab. Bartosz Wilczyński, prof. ucz.
Automata: from Mathematics to Applications (AutoMathA)
Principal investigator: prof. dr hab. Mikołaj Bojańczyk

Financed by: European Science Foundation
Automated Penetration Assessment System for Mobile Phones
Principal investigator: prof. dr hab. Krzysztof Diks

Financed by: Samsung Electronics Polska Sp. z o.o.
Automatics analysis of concurent systems
Principal investigator: prof. dr hab. Sławomir Lasota

Financed by: National Science Center
Automatisation of constructive logic
Principal investigator: dr hab. Aleksy Schubert, prof. UW

Financed by: National Science Center
Bayesian analysis of bladder cancer subtypes based on high-throughput data
Principal investigator: dr Krzysztof Gogolewski

Financed by: National Science Center
Biologically meaningful interference of phylogetentics networks
Principal investigator: dr hab. Paweł Górecki

Financed by: National Science Center
Blockchain wallets - cryptographic theory and applications
Principal investigator: prof. dr hab. Stefan Dziembowski

Financed by: National Science Center
Centrality Measures: from Theory to Applications
Principal investigator: dr hab. Oskar Skibski
Challenges in semistructural data management
Principal investigator: dr hab. Filip Murlak, prof. UW

Financed by: National Science Center
Combinatorial algorithmics of complex problems in contemporary informatics
Principal investigator: prof. dr hab. Wojciech Rytter

Financed by: Ministry of Science and Higher Education
Comparative genomics of plant transposons
Principal investigator: prof. dr hab. Anna Gambin

Financed by: Ministry of Science and Higher Education
Comparative genomics: problems, algorithms and models
Principal investigator: dr hab. Paweł Górecki

Financed by: National Science Center
Complex algorithmic problems in the modern theoretical computer science
Principal investigator: prof. dr hab. Wojciech Rytter

Financed by: Ministry of Science and Higher Education
Complexity of algorithms on compressed data
Principal investigator: prof. dr hab. Wojciech Rytter

Financed by: National Science Center
Comprehensive mammalian enhancer annotation from sequence and functional data
Principal investigator: prof. dr hab. Jerzy Tiuryn

Financed by: National Science Center
Comprehensive prediction of cooperative regulatory elements in eukaryotic genomes.
Principal investigator: dr Aleksander Jankowski

Financed by: National Science Center
Computational Analysis of Applied Weighted Voting Games
Principal investigator: dr hab. Oskar Skibski

Financed by: National Science Center
Computational Model of Tissue-Specific Gene Regulation
Financed by: National Science Center
Computational aspects of non-Euclidean geometries
Principal investigator: dr hab. Eryk Kopczyński

Financed by: National Science Center
Computational complexity of graph connectivity problems
Principal investigator: dr hab. Marcin Kamiński

Financed by: National Science Center
Computational methods for prediction of drug targets, biomarkers & efficient drug combinations based on genome-scale data from molecular cancer profiling
Principal investigator: dr hab. Ewa Szczurek, prof. ucz.
Computational modeling of transcription regulation in the context of chromatin dynamics
Principal investigator: dr hab. Bartosz Wilczyński, prof. ucz.

Financed by: Foundation for Polish Science
Conflicts with multiple battlefield and discrete resources
Principal investigator: dr hab. Marcin Dziubiński

Financed by: National Science Center
Consistent Models and Efficient Algorithms for Genomic Duplications
Principal investigator: dr hab. Paweł Górecki

Financed by: National Science Center
Context-free processes: theory, algorithms, applications
Principal investigator: prof. dr hab. Sławomir Lasota

Financed by: National Science Center
Counting models in formal verification
Principal investigator: dr Filip Mazowiecki

Financed by: National Science Center
Credibility of Horizontal Gene Transfer Models
Financed by: National Science Center
Crypography on Non-Trusted Machines
Principal investigator: prof. dr hab. Stefan Dziembowski

Financed by: European Research Council
Cryptographic Defence Against Malicious Hardware Manufacturers
Principal investigator: prof. dr hab. Stefan Dziembowski
Cryptographic Protocols Provably-Secure Against Physical Attacks
Principal investigator: prof. dr hab. Stefan Dziembowski

Financed by: Foundation for Polish Science
Cryptography without trusted parties
Principal investigator: dr Tomasz Kazana

Financed by: National Science Center
Current trends in parameterized and exponential-time algorithms
Principal investigator: prof. dr hab. Łukasz Kowalik

Financed by: National Science Center
Cuts and decompositions: algorithms and combinatorial properties
Principal investigator: prof. dr hab. Marcin Pilipczuk, prof. UW

Financed by: European Research Council
Data-enriched models of computation
Financed by: National Science Center
Decidability issues for automata on infinite structures
Principal investigator: prof. dr hab. Damian Niwiński

Financed by: National Science Center
Decidable hierarchies of regular tree languages (doctoral dissertation grant)
Principal investigator: prof. dr hab. Damian Niwiński

Financed by: Ministry of Science and Higher Education
Deep neural architectures for automated theorem proving
Principal investigator: Bartosz Piotrowski

Financed by: National Science Center
Detecting horizontal gene transfer
Principal investigator: dr hab. Paweł Górecki

Financed by: National Science Center
Detection and evolutionary analysis of repeats in protein sequences
Coordinator: prof. dr hab. Anna Gambin

Financed by: State Committee for Scientific Research
Development of " Computational Chemical Linguistics" and its Applications to the Efficient Planning of Multistep Chemical Syntheses
Principal investigator: prof. dr hab. Anna Gambin

Financed by: National Science Center
Development of algorithmic and statistical methods in mass spectrometry
Principal investigator: dr Michał Startek

Financed by: National Science Center
Dynamic algorithms for directed graphs under weak assumptions about the adversary
Principal investigator: dr Adam Karczmarz

Financed by: National Science Center
Dynamic graphs; connectivity, flows and coloring
Principal investigator: dr Anna Zych-Pawlewicz

Financed by: National Science Center
EMBO Installation Grants
Principal investigator: dr hab. Bartosz Wilczyński, prof. ucz.

Financed by: European Molecular Biology Organization
Efektywne algorytmy dla grafów planarnych
Principal investigator: dr hab. Piotr Sankowski, prof. UW

Financed by: National Science Center
Effective computations in predicative mathematics
Principal investigator: dr Michał Przybyłek

Financed by: National Science Center
Efficient algorithms for weak forms of non-determinism
Principal investigator: dr hab. Michał Skrzypczak
Efficient similarity search in high dimensional spaces
Erasmus Without Paper
Principal investigator: dr Janina Mincer-Daszkiewicz, prof. ucz.

Financed by: Ghent University
Erasmus Without Paper 2.0
Principal investigator: dr Janina Mincer-Daszkiewicz, prof. ucz.

Financed by: European University Foundation - Campus Europae
Erasmus without Paper 2 - cofinancing of Ministry of Science and Higher Education
Principal investigator: dr Janina Mincer-Daszkiewicz, prof. ucz.
Estimators of probability distributions of amino acids in a sequence alignment and an application to protein 3D structure prediction
Principal investigator: prof. dr hab. Jerzy Tiuryn

Financed by: State Committee for Scientific Research
European Training Network for Computational Oncology
Principal investigator: dr hab. Ewa Szczurek, prof. ucz.

Financed by: European Commission
Evolution of protein-protein interaction networks (doctoral dissertation grant)
Principal investigator: prof. dr hab. Jerzy Tiuryn

Financed by: Ministry of Science and Higher Education
Expressive Power of Tree Logics (SOSNA)
Principal investigator: prof. dr hab. Mikołaj Bojańczyk

Financed by: European Research Council
Fault tolerance of compressed data - selected topice (doctoral dissertation grant )
Principal investigator: prof. dr hab. Wojciech Plandowski

Financed by: Ministry of Science and Higher Education
Fault tolerant distributed algorithms (doctoral dissertation grant)
Principal investigator: prof. dr hab. Damian Niwiński

Financed by: Ministry of Science and Higher Education
Field trial on the impact of enabling easy mobility on recognition of external studies
Principal investigator: dr Janina Mincer-Daszkiewicz, prof. ucz.

Financed by: Life Science Center Keilaniemi
Formalization of naive type theory (doctoral dissertation grant)
Principal investigator: prof. dr hab. Paweł Urzyczyn

Financed by: Ministry of Science and Higher Education
Foundational Research on MULTIlevel comPLEX networks and systems
Principal investigator: dr hab. Piotr Sankowski, prof. UW

Financed by: Scuola IMT (Istituzioni, Mercati, Tecnologie) Alti Studi di Lucca
Foundations of Cryptocurrencies
Principal investigator: prof. dr hab. Stefan Dziembowski

Financed by: National Science Center
Foundations of XML – Safe Processing of Dynamic Data over the Internet (FOX)
Principal investigator: prof. dr hab. Mikołaj Bojańczyk

Financed by: European Commission
From non-uniform data to leakage-resilient authentication
Financed by: National Science Center
Frontiers of automatic verification: new methods of analysis of infinite-state systems
Principal investigator: prof. dr hab. Sławomir Lasota

Financed by: National Science Center
Frontiers of tractability for recursive queries
Principal investigator: dr Katarzyna Mazowiecka

Financed by: National Science Center
GLAD - Green Last Mile Delivery: a more sustainable way for food home delivery tailored to consumer needs
Principal investigator: mgr Paweł Gora

Financed by: European Commission
Games for Design and Verification (GAMES)
Financed by: European Science Foundation
Genome assembly algorithms for genetic disorders diagnosis
Principal investigator: mgr Barbara Poszewiecka

Financed by: National Science Center (Preludium)
Grants for FNP scholarship holders
Financed by: Foundation for Polish Science
Graph colorings and their applications
Principal investigator: prof. dr hab. Łukasz Kowalik

Financed by: Ministry of Science and Higher Education
Graph within graphs. Algorithmic and combinatorial aspects of containment relations in graphs.
Principal investigator: dr hab. Marcin Kamiński

Financed by: Foundation for Polish Science
Graphs within graphs: from well-quasi-orderings to algorithms
Financed by: National Science Center
Grupowe Miary Centralności: Aksjomaty, Algorytmy i Aplikacje
Principal investigator: dr hab. Oskar Skibski
Half-positional determinacy of infinite games (doctoral dissertation grant)
Principal investigator: prof. dr hab. Damian Niwiński

Financed by: Ministry of Science and Higher Education
Hiding in Social Networks
Financed by: National Science Center
Hierarchy-type Problems for Automata on Infinite Words and Trees
Principal investigator: dr hab. Michał Skrzypczak

Financed by: National Science Center
Highly configurable eSignature Solution for higher education
Principal investigator: dr Janina Mincer-Daszkiewicz, prof. ucz.

Financed by: Innovation and Networks Executive Agency, Ministry of Education and Science
Identification of Regulatory Elements and Transcription Factors Driving Differential Gene Transcription in Neuronal and Glial Cells in Drosophila Melanogaster
Financed by: National Science Center
Identification of regulatory non-coding variants associated with neurodegenerative disorders based on targeted sequencing of open chromatin regions
Principal investigator: dr Magdalena Machnicka
Incorporating genomic variation information into DNA sequencing data analysis
Principal investigator: dr hab. Norbert Dojer
Inferring genomic duplication events
Principal investigator: dr Jarosław Paszek

Financed by: National Science Center
Infinity in reasoning about data and knowledge
Principal investigator: dr hab. Filip Murlak, prof. UW

Financed by: National Science Center
Integrative analysis of single-cell genomics data
Principal investigator: dr Aleksander Jankowski

Financed by: National Science Center
Integrative systems biology: infering from heterogeneous data
Principal investigator: prof. dr hab. Anna Gambin

Financed by: National Science Center
Interactive Computations in Layered Granular Networks
Principal investigator: dr Piotr Wasilewski

Financed by: Foundation for Polish Science
Limits od databases
Principal investigator: dr hab. Szymon Toruńczyk, prof. UW

Financed by: National Science Center
Limits of decidability in automata theory.
Principal investigator: dr hab. Paweł Parys, prof. UW

Financed by: National Science Center
MOBIUS - Mobility, Ubiquity and Security
Principal investigator: prof. dr hab. Andrzej Tarlecki

Financed by: European Community 6th Framework Programme
Many-valued and probabilistic extensions of rule-based languages
Principal investigator: prof. dr hab. Andrzej Szałas

Financed by: National Science Center
Mathematical foundations of correctness, security, and efficiency of distributed information systems
Principal investigator: prof. dr hab. Damian Niwiński

Financed by: State Committee for Scientific Research
Mathematical foundations of specification and correctness analysis of information systems
Principal investigator: prof. dr hab. Damian Niwiński

Financed by: State Committee for Scientific Research
Mathematical methods of verification of information systems
Principal investigator: prof. dr hab. Damian Niwiński

Financed by: State Committee for Scientific Research
Mathematical modeling and algorithmic analysis of molecular signaling pathways
Principal investigator: prof. dr hab. Sławomir Lasota

Financed by: Ministry of Science and Higher Education
Mathematical models of communication cost of database access
Principal investigator: prof. dr hab. Jerzy Tyszkiewicz

Financed by: State Committee for Scientific Research
Methods and tools supporting correct software development
Principal investigator: prof. dr hab. Jan Madey

Financed by: State Committee for Scientific Research
Methods of knowledge representation and reasoning in autonomous systems
Financed by: State Committee for Scientific Research
Metody obliczeniowe interpretacji zmian genomu
Principal investigator: prof. dr hab. Anna Gambin

Financed by: National Science Center
Metody optymalizacji w alokacji zasobów obliczeniowych wielkiej skali
Principal investigator: dr hab. Krzysztof Rządca, prof. UW
Miejsca parkingowe na MOP
Principal investigator: dr hab. Hung Son Nguyen, prof. UW
Mitochondrial RNA decay and surveillance - comprehensive interdisciplinary studies
Principal investigator: dr hab. Bartosz Wilczyński, prof. ucz.

Financed by: National Science Center
Modeling genome evolution
Principal investigator: prof. dr hab. Jerzy Tiuryn

Financed by: State Committee for Scientific Research
Modeling of molecular evolution and of protein folding - an algorithmic approach
Principal investigator: prof. dr hab. Jerzy Tiuryn

Financed by: State Committee for Scientific Research
Modeling stress induced transposons activity
Principal investigator: prof. dr hab. Anna Gambin

Financed by: National Science Center
Modelling of fragmentation of biomolecules induced by electron transfer in mass spectrometry
Financed by: National Science Center
Models and algorithms for managing resources of modern computing system
Principal investigator: dr hab. Krzysztof Rządca, prof. UW
Models and languages for specifying dataflows (doctoral dissertation grant)
Principal investigator: prof. dr hab. Jerzy Tyszkiewicz

Financed by: Ministry of Science and Higher Education
Models, languages and systems for reliable and scalable distributed computing.
Principal investigator: dr Jacek Sroka

Financed by: National Science Center
Modular operational semantiics: a bialgebraic approach.
Principal investigator: prof. dr hab. Bartosz Klin

Financed by: National Science Center
Multiscale modeling of ceramide induced nerve cells apoptosis
Financed by: National Science Center
Multiwinner Election Rules: Beyond Scoring Protocols
Principal investigator: dr hab. Piotr Skowron

Financed by: National Science Center
Nearest neighbor problem without false negatives
Principal investigator: dr Piotr Wygocki

Financed by: National Science Center
Nebulostore: Peer-to-Peer Storage System
Principal investigator: dr hab. Krzysztof Rządca, prof. UW

Financed by: Foundation for Polish Science
Networks: Multidisciplinary Aproach
Principal investigator: prof. dr Krzysztof Apt

Financed by: National Science Center
New models of automata
Principal investigator: prof. dr hab. Sławomir Lasota

Financed by: National Science Center
New notion of finiteness in computation.
Principal investigator: prof. dr hab. Mikołaj Bojańczyk

Financed by: National Science Center
New techniques for graph algorithms: exact algorithms for NP-hard problems, sparse graphs and their applications
Principal investigator: prof. dr hab. Łukasz Kowalik

Financed by: Ministry of Science and Higher Education
New trends in text algorithms
Principal investigator: dr hab. Jakub Radoszewski, prof. UW

Financed by: National Science Center
Normative Comparison of Multiwinner Election Rules
Principal investigator: dr hab. Piotr Skowron
Nowe metody statystyczne dla problemów klasyfikacji i integracji danych molekularnych i genomowych
Principal investigator: dr Neo Christopher Chung

Financed by: National Science Center
Observational equivalence of programs and data structures vs bisimulation equivalence of concurrent processes (doctoral dissertation grant )
Principal investigator: prof. dr hab. Andrzej Tarlecki

Financed by: State Committee for Scientific Research
Off-chain labs: formal models, constructions and proofs
Principal investigator: prof. dr hab. Stefan Dziembowski

Financed by: Technische Universität Darmstadt
Online Algorithms for Stochastic Models
Principal investigator: dr hab. Marcin Mucha, prof. ucz.

Financed by: National Science Center
Opracowanie technologii pozwalających na rozpoznawanie określonych cech osób
Principal investigator: dr inż. Piotr Biliński
Opracowanie, prototypowa implementacja i ewaluacja praktycznego i skalowalnego protokołu trasowania dla bezprzewodowych sieci urządzeń wbudowanych o niskim poborze mocy
Principal investigator: dr hab. Konrad Iwanicki, prof. UW

Financed by: The National Centre for Research and Development
Optimality in Parameterized Complexity
Principal investigator: dr hab. Michał Pilipczuk, prof. UW

Financed by: National Science Center
Paraconsistent Reasoning in Autonomous Systems Situated in Informationally-Complex Enviroments
Principal investigator: prof. dr hab. Barbara Dunin-Kęplicz

Financed by: National Science Center
Parallel and distributed algorithms for combinatorial problems
Financed by: State Committee for Scientific Research
Parameterized algorithms in graph problems and permutation pattern matching
Principal investigator: dr hab. Marek Cygan

Financed by: National Science Center
Parameterized complexity and moderately exponential-time algorithms
Principal investigator: prof. dr hab. Łukasz Kowalik

Financed by: National Science Center
Parameters of finite models
Principal investigator: dr hab. Eryk Kopczyński

Financed by: National Science Center
Perception Based Computing
Principal investigator: dr Piotr Wasilewski

Financed by: National Science Center
Phylogenetic models to infer cancer evolution
Principal investigator: dr Jarosław Paszek

Financed by: National Science Center
Podstawy teoretyczne selekcji cech w celu uodpornienia modeli prognostycznych na częściowe braki w danych
Financed by: National Science Center
Practical Approximation Algorithms - Proof of Concept
Principal investigator: dr hab. Piotr Sankowski, prof. UW

Financed by: European Research Council
Predicting synthetic lethality in cancer
Principal investigator: dr hab. Ewa Szczurek, prof. ucz.
Prediction of protein and peptide isoelectric point based on sequence and structure features
Principal investigator: dr hab. Łukasz Kozłowski

Financed by: National Science Center
Programowanie dynamiczne z gwarancjami
Financed by: National Science Center
Proving correctness of behavioral implementation in software development process
Principal investigator: prof. dr hab. Sławomir Lasota

Financed by: State Committee for Scientific Research
Pseudoentropy
Financed by: National Science Center
Quality Assessment Tool for international Cooperation
Principal investigator: dr Janina Mincer-Daszkiewicz, prof. ucz.
Quantitative properties for higher-order recursion schemes
Principal investigator: dr hab. Paweł Parys, prof. UW

Financed by: National Science Center
Quantitative properties for higher-order recursion schemes
Principal investigator: dr hab. Paweł Parys, prof. UW
Quering and Managing Navigational Databases
Principal investigator: dr hab. Filip Murlak, prof. UW

Financed by: Foundation for Polish Science
RCS Network Test Server
Principal investigator: prof. dr hab. Krzysztof Diks

Financed by: Samsung Electronics Polska Sp. z o.o.
Reasoning about programs using tools based on type theory
Principal investigator: prof. dr hab. Paweł Urzyczyn

Financed by: State Committee for Scientific Research
Recent trends in kernelization: theory and experimental evaluation
Principal investigator: prof. dr hab. Marcin Pilipczuk, prof. UW
Reinforcement learning - contemporary challenges
Financed by: National Science Center
Reinforcement learning - contemporary challenges
Principal investigator: dr hab. Piotr Miłoś, prof. IMPAN

Financed by: National Science Center
Resource bounded approximation algorithms
Principal investigator: dr hab. Piotr Sankowski, prof. UW

Financed by: Ministry of Science and Higher Education
SENSORIA - Software Engineering for Service-Oriented Overlay Computers
Coordinator: prof. dr hab. Andrzej Tarlecki

Financed by: European Community 6th Framework Programme
Security Course Curriculum Development
Principal investigator: prof. dr hab. Stefan Dziembowski , dr hab. Aleksy Schubert, prof. UW

Financed by: University of Warsaw
Selected problems of modern algorithmics
Principal investigator: prof. dr hab. Wojciech Rytter

Financed by: National Science Center
Semantical considerations in non-classical logics applied in approximate reasoning
Principal investigator: prof. dr hab. Andrzej Szałas

Financed by: Ministry of Science and Higher Education
Separability problem in automata theory
Principal investigator: dr hab. Wojciech Czerwiński, prof. UW
Sequential patterns in texts: extraction and analysis ( doctoral dissertation grant )
Principal investigator: prof. dr hab. Jerzy Tyszkiewicz

Financed by: Ministry of Science and Higher Education
SocSenSys: social feedback systems based on body sensor networks
Principal investigator: dr hab. Konrad Iwanicki, prof. UW

Financed by: National Science Center
Specification construction and software verification
Principal investigator: prof. dr hab. Andrzej Tarlecki

Financed by: National Science Center
Specyfication and weryfication of software systems from theory to practice
Principal investigator: prof. dr hab. Andrzej Tarlecki

Financed by: Ministry of Science and Higher Education
Strategic Resilince of Networks
Principal investigator: dr hab. Marcin Dziubiński

Financed by: Foundation for Polish Science
Strategic Social Network Analysis
Principal investigator: dr Tomasz Michalak
Structural analysis and prediction of cis-regulatory modules in genomes of higher eukaryotes
Principal investigator: dr hab. Norbert Dojer

Financed by: National Science Center
Structural properties of planar graphs and their algorithmic applications ( doctoral dissertation grant )
Principal investigator: prof. dr hab. Krzysztof Diks

Financed by: State Committee for Scientific Research
Symbolic computations on first-order definable objects
Principal investigator: prof. dr hab. Sławomir Lasota
TUgbOAT
Principal investigator: dr hab. Piotr Sankowski, prof. UW

Financed by: European Research Council
Technology transfer between modern algorithmic paradigms
Principal investigator: dr hab. Marek Cygan

Financed by: European Research Council
Termination of rewriting in the calculus of constructions (doctoral dissertation grant)
Principal investigator: prof. dr hab. Jerzy Tiuryn

Financed by: State Committee for Scientific Research
Test suits for validation and verification of Polish language analyzers
Financed by: State Committee for Scientific Research
The Expressiveness of Modal Fixpoint Logics.
Financed by: Foundation for Polish Science
The topology of solution spaces of combinatorial problems
Principal investigator: dr Marcin Wrochna

Financed by: National Science Center
Theory and practice of computing maximum matchings in graphs
Principal investigator: prof. dr hab. Krzysztof Diks

Financed by: Ministry of Science and Higher Education
Thinking Far Ahead: Long-horizon planning using deep model-based reinforcement learning
Financed by: National Science Center
Tight Lower Bounds Under Strong Complexity Assumptions
Financed by: National Science Center
Tools and techniques for extending modularity and expressiveness of object-oriented languages (doctoral dissertation grant)
Principal investigator: prof. dr hab. Paweł Urzyczyn

Financed by: Ministry of Science and Higher Education
Tools, algorithms and models in the study of common evolution of species, genes and proteins
Principal investigator: dr hab. Paweł Górecki

Financed by: National Science Center
Tractable Game-Theoretic Network Centrality Measures
Principal investigator: dr Tomasz Michalak

Financed by: National Science Center
Tractable dialogues in multi-agent systems
Financed by: National Science Center
Two-variable equations over free semi-group ( doctoral dissertation grant )
Principal investigator: prof. dr hab. Wojciech Plandowski

Financed by: State Committee for Scientific Research
Type theory in functional and object-oriented programming
Principal investigator: prof. dr hab. Paweł Urzyczyn

Financed by: State Committee for Scientific Research
Types, proofs and correct programs
Coordinator: prof. dr hab. Paweł Urzyczyn

Financed by: Ministry of Science and Higher Education
Uczenie maszynowe i automatyczne dowodzenie twierdzeń
Principal investigator: dr hab. Henryk Michalewski

Financed by: National Science Center
Understanding recurtion
Principal investigator: dr hab. Lorenzo Clemente

Financed by: National Science Center
Verificatinon and queries in the presence of data values
Coordinator: prof. dr hab. Sławomir Lasota

Financed by: Ministry of Science and Higher Education
Video generation using deep learning
Principal investigator: dr inż. Piotr Biliński

Financed by: National Science Center
Zintegrowana analiza genomicznej, fenotypicznej i przestrzennej heterogeniczności nowotworów
Principal investigator: dr hab. Ewa Szczurek, prof. ucz.

Financed by: National Science Center
[uzupełnić]
Coordinator: prof. dr hab. Jerzy Tyszkiewicz

Financed by: European Commission
[uzupełnić]
Principal investigator: dr hab. Bartosz Wilczyński, prof. ucz.
ngSim: new challenges in simulation of low-power wireless devices
Principal investigator: dr hab. Konrad Iwanicki, prof. UW

Financed by: National Science Center

Institute of Applied Mathematics and Mechanics

Algorithms and complexity of continuous problems
Principal investigator: prof. dr hab. Leszek Plaskota

Financed by: State Committee for Scientific Research
An application of functional genomics and bioinformatics to characterization and construction of models of biological processes which are essential for medicine and agriculture.
Financed by: Ministry of Science and Higher Education
Analysis of hydrodynamic and chemotaxis equations
Principal investigator: prof. dr hab. Dariusz Wrzosek

Financed by: Ministry of Science and Higher Education
Analysis of micropolar fluid equations on 2-dimensional torus
Principal investigator: prof. dr hab. Grzegorz Łukaszewicz

Financed by: Ministry of Science and Higher Education
Analysis of parabolic equations exhibiting facets
Principal investigator: dr Michał Łasica

Financed by: National Science Center
Analysis of size-structured population dynamics with selective mortality
Principal investigator: Andrzej Jabłoński

Financed by: National Science Center
Analysis of stability of equilibria in differential and stochastic models of evolutionary games
Principal investigator: prof. dr hab. Jacek Miękisz

Financed by: State Committee for Scientific Research
Analysis of structured population models in meric spaces
Financed by: National Science Center
Anisotropic least gradient problem
Financed by: National Science Center
Asymptotic analysis of kinetic systems
Principal investigator: prof. dr hab. Andrzej Palczewski

Financed by: State Committee for Scientific Research
Asymptotic properties and inequalities for Markov chain Monte Carlo estimatorsN
Principal investigator: prof. dr hab. Wojciech Niemiro

Financed by: National Science Center
Collective behavior - a mathematician's perspective
Principal investigator: prof. dr hab. Piotr Mucha

Financed by: National Science Center
Complex flows
Principal investigator: prof. dr hab. Piotr Gwiazda

Financed by: National Science Center
Complexity and algorithms for multidimensional problems with applications in finance and mathematical physics
Principal investigator: prof. dr hab. Leszek Plaskota

Financed by: State Committee for Scientific Research
Complexity, tractability and algorithms for computational problems of continuous mathematics
Principal investigator: prof. dr hab. Leszek Plaskota

Financed by: Ministry of Science and Higher Education
Compressed sensing.
Principal investigator: prof. dr hab. Przemysław Wojtaszczyk

Financed by: National Science Center
Compressible, chemically reacting fluids mixtures
Principal investigator: Ewelina Zatorska

Financed by: National Science Center
Computional methods for identifying dna resistance associated mutations in bactorial strains
Financed by: National Science Center
Continuous problems: optimality, complexity, tractability
Principal investigator: prof. dr hab. Leszek Plaskota

Financed by: National Science Center
Convergence rate of MCMC estimators and convergence of adaptive methods
Principal investigator: prof. dr hab. Wojciech Niemiro

Financed by: Ministry of Science and Higher Education
Cucker-Smale's flocking model with a singular communication weight
Principal investigator: dr Jan Peszek

Financed by: National Science Center
Deterministic and statistical solutions of micropolar fluids equations (doctoral dissertation grant)
Principal investigator: prof. dr hab. Grzegorz Łukaszewicz

Financed by: Ministry of Science and Higher Education
Dimensional structure of hereditarily indecomposable continua
Principal investigator: prof. dr hab. Elżbieta Pol

Financed by: State Committee for Scientific Research
Dynamic Games Modeling "The tragedy of the Commons"
Financed by: National Science Center
Dynamics of free boundaries in phase-transition models
Principal investigator: prof. dr hab. Piotr Rybka

Financed by: Ministry of Science and Higher Education
Effective parallel algorithm for partial differential equations
Principal investigator: prof. dr hab. Maksymilian Dryja

Financed by: National Science Center
Effective parallel algorithms for solving partial differential equations
Principal investigator: dr hab. Leszek Marcinkowski, prof. UW

Financed by: National Science Center
Effectiveness of infection control strategies against intra- and inter-hospital transmission of MultidruG-resistant Enterobacteriaceae – insights from a multi-level mathematical NeTwork model
Principal investigator: dr hab. Monika Piotrowska
Efficient approximation of functions
Principal investigator: prof. dr hab. Przemysław Wojtaszczyk

Financed by: Ministry of Science and Higher Education
Energetic constraints on information processing and storing in the nervous system
Principal investigator: dr hab. Jan Karbowski

Financed by: National Science Center
Evolution equations in hydrodynamics and biology
Principal investigator: prof. dr hab. Grzegorz Łukaszewicz

Financed by: Ministry of Science and Higher Education
Free boundary problems in continuum mechanics
Principal investigator: prof. dr hab. Grzegorz Łukaszewicz

Financed by: State Committee for Scientific Research
From healthy to mutated cell - a mathematical description of various types of cell populations
Principal investigator: prof. dr hab. Urszula Foryś

Financed by: Ministry of Science and Higher Education
Geometric methods and problems in nonlinear eliptic PDE's
Principal investigator: dr hab. Anna Zatorska-Goldstein, prof. UW

Financed by: National Science Center
Heat convection in incompressible fluids
Principal investigator: prof. dr hab. Grzegorz Łukaszewicz

Financed by: National Science Center
Hybrid securities: contingent convertible bonds and bail-in bonds
Principal investigator: dr hab. Piotr Jaworski, prof. UW

Financed by: National Science Center
Hyperbolic conservation laws: theory and applications in geoscience and public health
Principal investigator: prof. dr hab. Agnieszka Świerczewska-Gwiazda

Financed by: National Science Center
Impact of the mechanisms of the exchange in the nodes on the asymptoic properties of network transport models
Principal investigator: dr Aleksandra Puchalska

Financed by: National Science Center
Kartezjusz
Principal investigator: prof. dr hab. Piotr Mucha
Mathematical Methods in Natural Sciences
Principal investigator: prof. dr hab. Piotr Gwiazda

Financed by: Foundation for Polish Science
Mathematical analysis of thermo-visco-elasticity
Financed by: National Science Center
Mathematical and numerical analysis of the models of morphogen transport
Principal investigator: dr Marcin Małogrosz

Financed by: National Science Center
Mathematical fluid mechanics
Principal investigator: prof. dr hab. Piotr Mucha

Financed by: National Science Center
Mathematical foundation of the multiscale descriptions
Principal investigator: prof. dr hab. Mirosław Lachowicz

Financed by: Ministry of Science and Higher Education
Mathematical modelling of brain tumours of glial origin and their response to therapies
Financed by: National Science Center
Mathematical modelling of crystal growth
Principal investigator: prof. dr hab. Piotr Rybka

Financed by: Ministry of Science and Higher Education
Mathematical modelling of neoplastic processes
Principal investigator: dr hab. Monika Piotrowska

Financed by: Ministry of Science and Higher Education
Mathematical models and methods in description of tumour growth and its therapies
Principal investigator: dr hab. Marek Bodnar, prof. UW

Financed by: National Science Center
Mathematical models of chemotaxis processes and related phenomena
Principal investigator: prof. dr hab. Dariusz Wrzosek

Financed by: Ministry of Science and Higher Education
Mathematical models of evolutionary game theory and genetic networks
Principal investigator: prof. dr hab. Jacek Miękisz

Financed by: Ministry of Science and Higher Education
Mathematical models of quasicrystals
Principal investigator: prof. dr hab. Jacek Miękisz

Financed by: National Science Center
Measure oriented approach to nonlinear PDEs and variational problems
Principal investigator: dr hab. Anna Zatorska-Goldstein, prof. UW

Financed by: National Science Center
Metody obliczeniowe dla wysokowymiarowego uczenia statystycznego
Principal investigator: dr hab. Błażej Miasojedow, prof. UW

Financed by: National Science Center
Metody słabej zbieżności dla równań fizyki i biologii matematycznej
Principal investigator: dr Tomasz Dębiec

Financed by: National Science Center
Modeling stock exchange by dynamical games with continuum number of players
Principal investigator: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW

Financed by: Ministry of Science and Higher Education
Modeling, Mathematical Methods and Computer Simulation of Tumour Growth and Therapy
Principal investigator: prof. dr hab. Mirosław Lachowicz

Financed by: European Union
Modern asset management for non-Gaussian distributions
Principal investigator: prof. dr hab. Andrzej Palczewski

Financed by: National Science Center
Monte Carlo methods for Markov jump processes
Principal investigator: dr hab. Błażej Miasojedow, prof. UW

Financed by: National Science Center
Multi-scale approaches in Life and Social Sciences
Principal investigator: prof. dr hab. Mirosław Lachowicz

Financed by: National Science Center
National PhD Studies on Mathematical Sciences
Principal investigator: prof. dr hab. Piotr Mucha

Financed by: The National Centre for Research and Development
New challenges for IBC
Principal investigator: prof. dr hab. Henryk Woźniakowski

Financed by: National Science Center
Non Newtonian fluid with nonstandard reology
Principal investigator: prof. dr hab. Piotr Gwiazda

Financed by: National Science Center
Non-obvious aspects of modelling common resources and markets using dynamic games
Principal investigator: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW

Financed by: National Science Center
Nonlinear PDE's related to variational and geometric problems
Principal investigator: dr hab. Anna Zatorska-Goldstein, prof. UW

Financed by: Foundation for Polish Science
Nonlinear differential problems in generalised Sobolev and Orlicz spaces
Principal investigator: dr hab. Iwona Chlebicka, prof. UW

Financed by: National Science Center
Nonlocal problems of interface evolution
Principal investigator: prof. dr hab. Piotr Rybka

Financed by: National Science Center
Numerical complexity and algorithms for problems of continuous mathematics
Principal investigator: prof. dr hab. Leszek Plaskota

Financed by: State Committee for Scientific Research
Numerical simulations of sever plastic deformations by flow model of crystal plasticity
Financed by: National Science Center
Parallel algorithms for solving partial differential equations
Principal investigator: prof. dr hab. Maksymilian Dryja

Financed by: Ministry of Science and Higher Education
Parallel algorithms of solving partial differential problems
Principal investigator: prof. dr hab. Maksymilian Dryja

Financed by: State Committee for Scientific Research
Parallel algorithms of solving problems for partial differential equations
Principal investigator: prof. dr hab. Maksymilian Dryja

Financed by: State Committee for Scientific Research
Population machines: From behavioral strategies to the life cycle of the individual and population dynamics. Evolutionary Game Theory and the impact of the ecological and population feedback mechanisms on the process of natural selection.
Principal investigator: dr Krzysztof Argasiński

Financed by: National Science Center
Qualitative analysis of non-compressible viscous fluids
Principal investigator: Piotr Mucha

Financed by: Ministry of Science and Higher Education
Rank regression and U-processes with Lasso penalty - model selection, estimation and oracle inequalities
Financed by: National Science Center
Relative entropy method for nonlinear systems
Principal investigator: prof. dr hab. Agnieszka Świerczewska-Gwiazda

Financed by: National Science Center
SOSnet: sparse modelling and prediction for high-dimensional data
Principal investigator: dr hab. Piotr Pokarowski, prof. UW

Financed by: National Science Center
Singular collective dynamics
Principal investigator: dr Jan Peszek

Financed by: National Science Center
Space of measurs and Orlicz spaces in mathematica description of the flow and grow
Principal investigator: prof. dr hab. Piotr Gwiazda

Financed by: National Science Center
Stability of blow-up patterns for the Fujita equation
Principal investigator: dr Mikołaj Sierżęga

Financed by: National Science Center
Stefan-type problems in mathematical modeling of growth and melting of crystals
Principal investigator: prof. dr hab. Piotr Rybka

Financed by: State Committee for Scientific Research
Sudden directional diffusion in the evolution of free surfaces
Principal investigator: prof. dr hab. Piotr Rybka

Financed by: National Science Center
The tragedy of the commons in dynamic context - modelling, methodology and prevention
Principal investigator: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW

Financed by: National Science Center
Theoretical foundations of interactive theorem provers with unrestricted recursive definitions.
Financed by: National Science Center
Therapy optimization in glioblastoma: An integrative human data-based approach using mathematical models
Principal investigator: dr hab. Marek Bodnar, prof. UW
Therapy optimization in glioblastoma: An integrative human data-based approach using mathematical modela
Financed by: James S. Mc. Donnell Foundation
Time delays in stochastic models in biological sciences
Principal investigator: prof. dr hab. Jacek Miękisz

Financed by: National Science Center
Towards regularity
Principal investigator: prof. dr hab. Piotr Rybka

Financed by: Instytut Matematyczny Polskiej Akademii Nauk
Tractability of non-homogeneous multivariate problems.
Principal investigator: dr Paweł Siedlecki

Financed by: National Science Center
Transport phenomena in mathematical biology
Principal investigator: prof. dr hab. Agnieszka Świerczewska-Gwiazda

Financed by: National Science Center
Types for Proofs and Programs.
Coordinator: prof. dr hab. Paweł Urzyczyn

Financed by: European Commission
Using mathematical modelling and computer simulation to improve cancer therapy
Principal investigator: prof. dr hab. Mirosław Lachowicz

Financed by: European Union
Variance-based sensitivity analysis for delay differential equations
Principal investigator: dr hab. Jan Poleszczuk

Financed by: National Science Center
Variational Problems in Optical Engineering and Free Material Design
Financed by: National Science Center
Weak and measure-valued solutions for equations of mathematical physics
Principal investigator: dr Tomasz Dębiec

Financed by: National Science Center
Zbudowanie nowego algorytmu efektywnie wyznaczającego zbiór przypadków medycznych najbardziej podobnych do wskazanego nowego przypadku wykorzystując techniki uczenia maszynowego
Principal investigator: prof. dr hab. Przemysław Biecek

European Founds

European Social Found

Initiative of Excellence – Research University

HR Excellence in Research

Integrated Development Programme

Polish National Science Centre

Rozwój e-usług Uniwersytetu Warszawskiego związanych z edukacją

Erasmus Without Paper

Rozwój e-usług Uniwersytetu Warszawskiego związanych z edukacją