You are not logged in | Log in

PL /
EN

Institute of Mathematics

Adaptive methods in approximate reasoning
Principal investigator: prof. dr hab. inż. Andrzej Skowron
Algebraic Geometry: Varieties and Structures.
Principal investigator: prof. dr hab. Jarosław Wiśniewski
Algebraic Torus Actions: Geometry and Combinatorics
Principal investigator: prof. dr hab. Jarosław Wiśniewski
Algebraic group actions on varieties
Principal investigator: prof. dr hab. Mariusz Koras
Algebraic methods in the study of the quantum Yang-Baxter equation - braces and associative algebras
Principal investigator: prof. dr hab. Jan Okniński
Algebraic methods in the study of the quantum of Yang-Baxter equation - braces and associative algebras
Principal investigator: prof. dr hab. Jan Okniński
Algebraic structures and properties of algebraic varieties
Principal investigator: prof. dr hab. Adrian Langer
Algebraic structures related to set theoretic solutions of the quantum Yang-Baxter equation
Principal investigator: prof. dr hab. Jan Okniński
Algebraic topology
Principal investigator: prof. dr hab. Stanisław Betley
Algebraic topology
Algebraic varietes related to combinatorial structures
Principal investigator: dr Maria Donten-Bury
Algebraic varieties and algebraic structures
Principal investigator: prof. dr hab. Jarosław Wiśniewski
Algebraic varieties via finite groups actions
Principal investigator: prof. dr hab. Jarosław Wiśniewski
Algebraic varieties: arithmetic and geometry
Principal investigator: prof. dr hab. Adrian Langer
Analogy based methods of automated reasoning from knowledge base
Principal investigator: prof. dr hab. inż. Andrzej Skowron
Analysis of complex stochastic systems
Principal investigator: prof. dr hab. Tomasz Bojdecki
Analysis of stochastic models with geometry
Principal investigator: dr hab. Piotr Miłoś
Analysis of stochastic models.
Principal investigator: dr hab. Piotr Miłoś
Analysis on metric spaces and its applications to nonlinear elliptic equations, probability and calculus of variations
Principal investigator: prof. dr hab. Paweł Strzelecki
Anticipative Skorohod integral in conuclear spaces
Principal investigator: prof. dr hab. Tomasz Bojdecki
Badanie procesów Bernoulliego i chaosu Gaussowskiego
Behaviour of properties of rings and modules under selected constructions
Principal investigator: prof. dr hab. Edmund Puczyłowski
Borel sets in function spaces with the weak topology
Principal investigator: prof. dr hab. Roman Pol
Brackets - constructions, properties, applications
Change of time for Markov processes and its influence on Markov structures
Classsification of function spaces
Principal investigator: prof. dr hab. Witold Marciszewski
Combinatorics and structure of Hecke-Kiselman algebras
Principal investigator: mgr Magdalena Wiertel
Complex stochastic systems
Principal investigator: prof. dr hab. Tomasz Bojdecki
Concentration of measure
Principal investigator: dr Michał Strzelecki
Concentration of measure and functional inequalities
Principal investigator: mgr Bartłomiej Polaczyk
Concept approximation synthesis
Principal investigator: prof. dr hab. inż. Andrzej Skowron
Conformal dynamical systems and the geometry of fractal sets
Principal investigator: prof. dr hab. Anna Zdunik
Cox rings of resolutions of quotient singularities.
Principal investigator: dr Maria Donten-Bury
Curves and surfaces on algebraic varieties
Principal investigator: prof. dr hab. Jarosław Wiśniewski
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
Derived categories and birational geometry
Principal investigator: dr Agnieszka Bodzenta-Skibińska
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
Differential equations, geometry and physics
Principal investigator: prof. dr hab. Henryk Żołądek
Dynamical systems and geometry
Principal investigator: prof. dr hab. Henryk Żołądek
Dynamical systems and geometry
Principal investigator: prof. dr hab. Henryk Żołądek
Dynamics of random systems
Principal investigator: dr hab. Anna Talarczyk-Noble, prof. UW
Equivariant Khovanov homology - its structure and applications
Principal investigator: dr Wojciech Politarczyk
Estimates for moments of random vectors
Principal investigator: dr Marta Strzelecka
Estimates of random vectors and processes
Principal investigator: prof. dr hab. Rafał Latała
European Algebraic Geometry Research Training Network EAGER
Principal investigator: prof. dr hab. Jarosław Wiśniewski
Exact, abelian and triangulated categories in algebra and geometry
Principal investigator: dr Agnieszka Bodzenta-Skibińska
Finitely presented algebras and noetherian semigroup algebras
Principal investigator: prof. dr hab. Jan Okniński
Formula hierarchie in weak arithmetics and their extensions by counting quantifiers
Principal investigator: dr hab. Leszek Kołodziejczyk
Gaussian Processes and Estimations of Moments of Random Variables
Principal investigator: Tomasz Tkocz
Generation of approximate Bayesian networks from data: Rough set methods
Principal investigator: prof. dr hab. inż. Andrzej Skowron
Generic chaining approach to the regularity of stochastic processes
Principal investigator: prof. dr hab. Witold Bednorz, prof. UW
Geometric and analytic properties of ordinary differential equations
Principal investigator: prof. dr hab. Henryk Żołądek
Geometric and ergodic properties of dynamical systems II
Principal investigator: prof. dr hab. Anna Zdunik
Geometric and ergotic properties of dynamical systems
Principal investigator: prof. dr hab. Anna Zdunik
Geometric curvature energies
Principal investigator: prof. dr hab. Paweł Strzelecki
Geometric curvature functionals for non-smooth subsets of Euclidean space
Principal investigator: prof. dr hab. Paweł Strzelecki
Geometric properties of sequences of Sobolev homeomorphisms and homeomorphisms of bounded variation
Principal investigator: Hubert Grochowski
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
Geometry of affine varieties and birational mappings.
Principal investigator: prof. dr hab. Mariusz Koras
Group actions on algebraic varieties and birational maps
Principal investigator: prof. dr hab. Mariusz Koras
Hereditarily indecomposable continua of higher dimensions
Principal investigator: prof. dr hab. Elżbieta Pol
High Dimensional Probability
Principal investigator: dr hab. Radosław Adamczak, prof. ucz.
Homology planes with singularities
Principal investigator: prof. dr hab. Mariusz Koras
Hypercontraction and functional inequalities for product measures
Principal investigator: prof. dr hab. Krzysztof Oleszkiewicz
Ideals in Polish spaces and the Fubini Property
Induction for bounded formulas and its relativizations
Principal investigator: dr hab. Leszek Kołodziejczyk
Inequalities for log-concave vectors
Principal investigator: dr Marta Strzelecka
Inequalities for semimartingales and stochastic integrals
Principal investigator: prof. dr hab. Adam Osękowski
Integral Menger curvature for surfaces of arbitrary codimension.
Principal investigator: prof. dr hab. Paweł Strzelecki
Interactive computations in knowledge discovery from complex data source
Principal investigator: dr hab. Hung Son Nguyen, prof. UW
Interactive process mining
Principal investigator: prof. dr hab. inż. Andrzej Skowron
Iterations of holomorphic functions II
Jeffrey-Kirwan residues in applications to equivariant Gysin homomorphism
Principal investigator: dr Magdalena Zielenkiewicz
Jump Markov processes and their Schroedinger perturbations
Knot theory
Principal investigator: dr hab. Maciej Borodzik
Legendrian varieties in algebraic geometry
Principal investigator: prof. dr hab. Jarosław Wiśniewski
Limit cycles for polynomial vector fields (doctoral dissertation grant)
Principal investigator: prof. dr hab. Henryk Żołądek
Limit theorems for branching particle systems
Principal investigator: prof. dr hab. Tomasz Bojdecki
Local geometry of the Hilbert scheme of points and its applications
Principal investigator: dr hab. Joachim Jelisiejew
Log-concave Measures and Geometry of Convex Bodies
Principal investigator: dr hab. Piotr Nayar
Lowdimensional affine algebraic geometry
Principal investigator: prof. dr hab. Mariusz Koras
Martingale and concentration inequalities
Principal investigator: dr Michał Strzelecki
Martingale inequalities and their applications to the study of Fourier multipliers
Principal investigator: prof. dr hab. Adam Osękowski
Meromorphic linear differential equations and multiple zeta values (doctoral dissertation grant)
Principal investigator: prof. dr hab. Henryk Żołądek
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
Morphisms and diagonals of Mori Dream Spaces, phylogenetics and applications of Cox rings
Principal investigator: dr hab. Jarosław Buczyński
Multigrated Hilbert schemes
Principal investigator: dr Tomasz Mańdziuk
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
Networks of classifiers
Principal investigator: prof. dr hab. inż. Andrzej Skowron
New Geometry of Quantum Dynamics
Principal investigator: dr hab. Tomasz Maszczyk
New computational combinatorial geometrical topological and algebraic methods applied to noetherian orders
Principal investigator: prof. dr hab. Jan Okniński
New concepts of equilibria in dynamic games and their economic applications
Principal investigator: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW
New topics in theory of Nobeling manifolds
Principal investigator: dr Andrzej Nagórko
Nieliniowe formy całkowe zwiazane ze skokowymi procesami Markowa
Principal investigator: prof. dr hab. Katarzyna Pietruska-Pałuba
Nierówności dla nieprzemiennych martyngałów
Principal investigator: prof. dr hab. Adam Osękowski
Nonlinear eigenvalue problems.
Principal investigator: dr Paweł Bechler
Nonlinear geometric and variational problems
Principal investigator: prof. dr hab. Paweł Strzelecki
Nonlinear geometric and variational problems
Principal investigator: prof. dr hab. Paweł Strzelecki
Ogus-Vologodsky correspondence for singular varieties
Principal investigator: Maciej Zdanowicz
Optimal concentration inequalities
Principal investigator: dr hab. Piotr Nayar
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
Orlicz-Sobolev spaces and their applications to nonlinear elliptic equations, probability and calculus of variations
Principal investigator: prof. dr hab. Agnieszka Kałamajska
Orthogonal polynomials and the Painleve equations
Principal investigator: dr hab. Galina Filipuk
Osobliwości przekształceń harmonicznych
Principal investigator: dr Michał Miśkiewicz
Parabolic problems of surface evolution in the theory of phase transitions
Principal investigator: prof. dr hab. Piotr Rybka
Particle systems, occupation times and self-similar processes
Passage from arithmetic to school algebra.
Pointwise regularity theory for sets, measures and varifolds
Principal investigator: dr hab. Sławomir Kolasiński
Probabilistic aspects of the Takens embedding theorem
Probabilistic inequalities.
Principal investigator: prof. dr hab. Rafał Latała
Probabilistic properties of logarithmically concave measures
Principal investigator: prof. dr hab. Rafał Latała
Propositional logics and high dimensional weak categories
Coordinator: dr hab. Marek Zawadowski, prof. UW
Provability, computation and combinatorics at the lower and intermediate levels of Gödel hierarchy
Principal investigator: dr hab. Leszek Kołodziejczyk
Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy
Principal investigator: dr hab. Leszek Kołodziejczyk
Qualitative and ergodic properties of smooth dynamical systems
Principal investigator: prof. dr hab. Henryk Żołądek
Quantum curves and Schrödinger equations in matrix models
Radicals and sets of special elements of associative rings
Principal investigator: prof. dr hab. Edmund Puczyłowski
Random series and stochastic integrals
Principal investigator: prof. dr hab. Stanisław Kwapień
Random series, stochastic integrals: single and multiple
Principal investigator: prof. dr hab. Stanisław Kwapień
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
Rigidity for actions on Banach spaces and applications
Ring properties expressible in terms of ideals
Principal investigator: dr hab. Jerzy Matczuk, prof. UW
Risk modelling in finance
Principal investigator: prof. dr hab. Jacek Jakubowski
Scalable Self-Managed Point-to-Point Routing for the Internet of Things Applications
Principal investigator: dr hab. Konrad Iwanicki, prof. UW
Selected Aspects of Scalability of Methods of Data Mining and Knowledge Discovery in Databases
Principal investigator: prof. dr hab. Dominik Ślęzak
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
Self-intersection local times of Gaussian processes in S'
Principal investigator: prof. dr hab. Tomasz Bojdecki
Semigroup theoretical methods in the study of associative algebras
Principal investigator: prof. dr hab. Jan Okniński
Semigroup theoretical methods in the study of associative algebras and their representations
Principal investigator: prof. dr hab. Jan Okniński
Semigroups of matrices
Principal investigator: prof. dr hab. Jan Okniński
Simulation and bisimulation for context-free and pushdown system.
Principal investigator: dr Piotr Hofman
Singular contact varieties
Principal investigator: Robert Śmiech
Singularities and global properties of nonlinear differential equations
Singularities of minimizing biharmonic maps
Principal investigator: dr Katarzyna Mazowiecka
Small gaps between almost primes
Principal investigator: dr Paweł Lewulis
Some aspects of pricing and hedging of contingent claims in discrete time financial market model
Principal investigator: prof. dr hab. Jacek Jakubowski
Spaces of continuous functions
Principal investigator: prof. dr hab. Witold Marciszewski
Spaces of continuous functions with the topology of pointwise convergence
Principal investigator: prof. dr hab. Witold Marciszewski
Stochastic inequalities and their applications
Principal investigator: prof. dr hab. Krzysztof Oleszkiewicz
Stochastic methods in theory of smooth dynamical systems
Principal investigator: prof. dr hab. Anna Zdunik
Stochastic systems and their applications
Principal investigator: prof. dr hab. Tomasz Bojdecki
Strategy of teaching mathematics in Poland
Principal investigator: prof. dr hab. Zbigniew Marciniak
Strict polynomial functors and the Lusztig conjecture.
Principal investigator: dr hab. Marcin Chałupnik
Subspace semigroup of finite dimensional algebras and noetherian algebras
Principal investigator: prof. dr hab. Jan Okniński
Systems of nonlinear eliptic equations: regularity of solutions, structure of singularities and related topics
Principal investigator: prof. dr hab. Paweł Strzelecki
Teorio-modelowe i algebraiczne własności rozdzielczo domkniętych G-ciał
Principal investigator: dr Daniel Hoffmann
Terminalizations of symplectic quotient singularities and their Cox rings
The concentration of measure phenomenon
Principal investigator: dr hab. Radosław Adamczak, prof. ucz.
The triple nature of mathematics: deep ideas, surface representations, formal models.
Principal investigator: prof. dr hab. Zbigniew Semadeni
Topological and measure-theoretic properties of small subsets of Polish spaces
Principal investigator: prof. dr hab. Piotr Zakrzewski
Topological properties of invariant sets in transcendental dynamics
Principal investigator: prof. dr hab. Krzysztof Barański
Topological structure of function spaces
Principal investigator: prof. dr hab. Witold Marciszewski
Topology and Borel structure of function spaces
Principal investigator: prof. dr hab. Witold Marciszewski
Transport equation in the modern theory of partial differential equations
Two-sided bounds for random chaoses
Principal investigator: dr Rafał Meller
Type theory for examination of program properties
Principal investigator: prof. dr hab. Paweł Urzyczyn
Upper and lower bounds for stochastic processes
Principal investigator: prof. dr hab. Witold Bednorz, prof. UW
Varieties and algebraic bundles
Principal investigator: prof. dr hab. Adrian Langer
Varieties, bundles, algebraic structures and their moduli
Principal investigator: prof. dr hab. Jarosław Wiśniewski
Weighted inequalities for classical operators
Principal investigator: prof. dr hab. Adam Osękowski
Weighted inequalities for maximal operators
Principal investigator: dr Mateusz Rapicki
Zeros and special values of automorphic L-functions
Principal investigator: prof. dr hab. Jacek Pomykała

Institute of Informatics

Probabilistic tools for high-dimensional geometric inference, topological data analysis, and large-scale networks.
Principal investigator: dr Kunal Dutta
A proof assistant for large applications based on the Calculus of Constructions ( doctoral dissertation grant )
Principal investigator: prof. dr hab. Paweł Urzyczyn
A theory of logic programming in modal and description logics
Principal investigator: dr hab. Anh Linh Nguyen, prof. UW
A unified theory of finite-state recognisability
Principal investigator: prof. dr hab. Mikołaj Bojańczyk
Abstract specification theory and its applications
Principal investigator: prof. dr hab. Andrzej Tarlecki
Adaptive simulations in modeling large decision processes with application to Go game (doctoral dissertation grant)
Principal investigator: prof. dr hab. Krzysztof Diks
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
Advanced computations in spreadsheets
Principal investigator: prof. dr hab. Jerzy Tyszkiewicz
Advanced problems in automata theory
Principal investigator: prof. dr hab. Damian Niwiński
Algebraic graph algorithms (doctoral dissertation grant )
Principal investigator: prof. dr hab. Krzysztof Diks
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
Algorithmic and computational problems of bioinformatics
Principal investigator: prof. dr hab. Jerzy Tiuryn
Algorithmic path problems in planar graphs (doctoral dissertation grant)
Principal investigator: prof. dr hab. Krzysztof Diks
Algorithmic problems of systems biology and bioinformatics
Principal investigator: prof. dr hab. Jerzy Tiuryn
Algorithmics and Combinatorics in Non-Standard Stringology
Principal investigator: dr hab. Jakub Radoszewski, prof. UW
Algorithmics of problems of huge sizes
Principal investigator: prof. dr hab. Wojciech Rytter
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
Algorytmiczne wyzwania spektrometrii masowej
Principal investigator: prof. dr hab. Anna Gambin
Algorytmy i modele statystyczne służące do przewidywania schematów fragmentacji cząsteczek podczas dysocjacji indukowanej kolizjami
Principal investigator: Grzegorz Skoraczyński
An analysis of groups and signals which are used in protein structure composition from local descriptors
Principal investigator: prof. dr hab. Jerzy Tiuryn
Analisis of stochastic geometric models
Analiza strukturalna i predykcja modułów cis-regulatorowych w genomach wyższych eukariontów
Principal investigator: dr hab. Norbert Dojer
Analysis and Development of Process Mining Methods Based on Skeletal Algorithms
Analysis of physical and biological problems in the framework of mathematical entropies
Principal investigator: prof. dr hab. Piotr Gwiazda
Application of algebraic methods in algorithmic graph theory
Principal investigator: dr hab. Piotr Sankowski, prof. UW
Applications of automata theory to processing XML documents
Principal investigator: prof. dr hab. Mikołaj Bojańczyk
Applied logic and functional programming
Principal investigator: prof. dr hab. Jerzy Tiuryn
Approximate multiagent systems
Principal investigator: prof. dr hab. Barbara Dunin-Kęplicz
Approximation algorithms under data uncertainty
Principal investigator: dr Michał Włodarczyk
Approximation and parameterized local serch algorithms
Principal investigator: dr hab. Marek Cygan
Architectures for Mobility
Principal investigator: prof. dr hab. Andrzej Tarlecki
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
Automata: from Mathematics to Applications (AutoMathA)
Principal investigator: prof. dr hab. Mikołaj Bojańczyk
Automated Penetration Assessment System for Mobile Phones
Principal investigator: prof. dr hab. Krzysztof Diks
Automatics analysis of concurent systems
Principal investigator: prof. dr hab. Sławomir Lasota
Automatisation of constructive logic
Principal investigator: dr hab. Aleksy Schubert, prof. UW
Bayesian analysis of bladder cancer subtypes based on high-throughput data
Principal investigator: dr Krzysztof Gogolewski
Biologically meaningful interference of phylogetentics networks
Principal investigator: dr hab. Paweł Górecki
Centrality Measures: from Theory to Applications
Principal investigator: dr Oskar Skibski
Challenges in semistructural data management
Principal investigator: dr hab. Filip Murlak, prof. UW
Combinatorial algorithmics of complex problems in contemporary informatics
Principal investigator: prof. dr hab. Wojciech Rytter
Comparative genomics of plant transposons
Principal investigator: prof. dr hab. Anna Gambin
Comparative genomics: problems, algorithms and models
Principal investigator: dr hab. Paweł Górecki
Complex algorithmic problems in the modern theoretical computer science
Principal investigator: prof. dr hab. Wojciech Rytter
Complexity of algorithms on compressed data
Principal investigator: prof. dr hab. Wojciech Rytter
Comprehensive mammalian enhancer annotation from sequence and functional data
Principal investigator: prof. dr hab. Jerzy Tiuryn
Comprehensive prediction of cooperative regulatory elements in eukaryotic genomes.
Principal investigator: dr Aleksander Jankowski
Computational Analysis of Applied Weighted Voting Games
Principal investigator: dr Oskar Skibski
Computational Model of Tissue-Specific Gene Regulation
Computational aspects of non-Euclidean geometries
Principal investigator: dr hab. Eryk Kopczyński
Computational complexity of graph connectivity problems
Principal investigator: dr hab. Marcin Kamiński
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. UW
Computational modeling of transcription regulation in the context of chromatin dynamics
Principal investigator: dr hab. Bartosz Wilczyński
Conflicts with multiple battlefield and discrete resources
Principal investigator: dr hab. Marcin Dziubiński
Consistent Models and Efficient Algorithms for Genomic Duplications
Principal investigator: dr hab. Paweł Górecki
Context-free processes: theory, algorithms, applications
Principal investigator: prof. dr hab. Sławomir Lasota
Counting models in formal verification
Principal investigator: dr Filip Mazowiecki
Credibility of Horizontal Gene Transfer Models
Crypography on Non-Trusted Machines
Principal investigator: prof. dr hab. Stefan Dziembowski
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
Cryptography without trusted parties
Principal investigator: dr Tomasz Kazana
Current trends in parameterized and exponential-time algorithms
Principal investigator: prof. dr hab. Łukasz Kowalik
Cuts and decompositions: algorithms and combinatorial properties
Principal investigator: dr hab. Marcin Pilipczuk, prof. UW
Decidability issues for automata on infinite structures
Principal investigator: prof. dr hab. Damian Niwiński
Decidable hierarchies of regular tree languages (doctoral dissertation grant)
Principal investigator: prof. dr hab. Damian Niwiński
Deep neural architectures for automated theorem proving
Principal investigator: Bartosz Piotrowski
Detecting horizontal gene transfer
Principal investigator: dr hab. Paweł Górecki
Detection and evolutionary analysis of repeats in protein sequences
Coordinator: prof. dr hab. Anna Gambin
Development of " Computational Chemical Linguistics" and its Applications to the Efficient Planning of Multistep Chemical Syntheses
Principal investigator: prof. dr hab. Anna Gambin
Development of algorithmic and statistical methods in mass spectrometry
Principal investigator: dr Michał Startek
Dynamic algorithms for directed graphs under weak assumptions about the adversary
Principal investigator: dr Adam Karczmarz
Dynamic graphs; connectivity, flows and coloring
Principal investigator: dr Anna Zych-Pawlewicz
EMBO Installation Grants
Principal investigator: dr hab. Bartosz Wilczyński
Efektywne algorytmy dla grafów planarnych
Principal investigator: dr hab. Piotr Sankowski, prof. UW
Effective computations in predicative mathematics
Principal investigator: dr Michał Przybyłek
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. UW
Erasmus Without Paper 2.0
Principal investigator: dr Janina Mincer-Daszkiewicz, prof. UW
Erasmus without Paper 2 - cofinancing of Ministry of Science and Higher Education
Principal investigator: dr Janina Mincer-Daszkiewicz, prof. UW
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
European Training Network for Computational Oncology
Principal investigator: dr hab. Ewa Szczurek, prof. UW
Evolution of protein-protein interaction networks (doctoral dissertation grant)
Principal investigator: prof. dr hab. Jerzy Tiuryn
Expressive Power of Tree Logics (SOSNA)
Principal investigator: prof. dr hab. Mikołaj Bojańczyk
Fault tolerance of compressed data - selected topice (doctoral dissertation grant )
Principal investigator: prof. dr hab. Wojciech Plandowski
Fault tolerant distributed algorithms (doctoral dissertation grant)
Principal investigator: prof. dr hab. Damian Niwiński
Field trial on the impact of enabling easy mobility on recognition of external studies
Principal investigator: dr Janina Mincer-Daszkiewicz, prof. UW
Formalization of naive type theory (doctoral dissertation grant)
Principal investigator: prof. dr hab. Paweł Urzyczyn
Foundational Research on MULTIlevel comPLEX networks and systems
Principal investigator: dr hab. Piotr Sankowski, prof. UW
Foundations of Cryptocurrencies
Principal investigator: prof. dr hab. Stefan Dziembowski
Foundations of XML – Safe Processing of Dynamic Data over the Internet (FOX)
Principal investigator: prof. dr hab. Mikołaj Bojańczyk
From non-uniform data to leakage-resilient authentication
Frontiers of automatic verification: new methods of analysis of infinite-state systems
Principal investigator: prof. dr hab. Sławomir Lasota
Frontiers of tractability for recursive queries
Principal investigator: dr Katarzyna Mazowiecka
GLAD - Green Last Mile Delivery: a more sustainable way for food home delivery tailored to consumer needs
Principal investigator: mgr Paweł Gora
Games for Design and Verification (GAMES)
Genome assembly algorithms for genetic disorders diagnosis
Principal investigator: dr Barbara Poszewiecka
Grants for FNP scholarship holders
Graph colorings and their applications
Principal investigator: prof. dr hab. Łukasz Kowalik
Graph within graphs. Algorithmic and combinatorial aspects of containment relations in graphs.
Principal investigator: dr hab. Marcin Kamiński
Graphs within graphs: from well-quasi-orderings to algorithms
Grupowe Miary Centralności: Aksjomaty, Algorytmy i Aplikacje
Principal investigator: dr Oskar Skibski
Half-positional determinacy of infinite games (doctoral dissertation grant)
Principal investigator: prof. dr hab. Damian Niwiński
Hiding in Social Networks
Hierarchy-type Problems for Automata on Infinite Words and Trees
Principal investigator: dr hab. Michał Skrzypczak
Highly configurable eSignature Solution for higher education
Principal investigator: dr Janina Mincer-Daszkiewicz, prof. UW
Identification of Regulatory Elements and Transcription Factors Driving Differential Gene Transcription in Neuronal and Glial Cells in Drosophila Melanogaster
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
Infinity in reasoning about data and knowledge
Principal investigator: dr hab. Filip Murlak, prof. UW
Integrative systems biology: infering from heterogeneous data
Principal investigator: prof. dr hab. Anna Gambin
Interactive Computations in Layered Granular Networks
Principal investigator: dr Piotr Wasilewski
Limits od databases
Principal investigator: dr hab. Szymon Toruńczyk, prof. UW
Limits of decidability in automata theory.
Principal investigator: dr hab. Paweł Parys, prof. UW
MOBIUS - Mobility, Ubiquity and Security
Principal investigator: prof. dr hab. Andrzej Tarlecki
Many-valued and probabilistic extensions of rule-based languages
Principal investigator: prof. dr hab. Andrzej Szałas
Mathematical foundations of correctness, security, and efficiency of distributed information systems
Principal investigator: prof. dr hab. Damian Niwiński
Mathematical foundations of specification and correctness analysis of information systems
Principal investigator: prof. dr hab. Damian Niwiński
Mathematical methods of verification of information systems
Principal investigator: prof. dr hab. Damian Niwiński
Mathematical modeling and algorithmic analysis of molecular signaling pathways
Principal investigator: prof. dr hab. Sławomir Lasota
Mathematical models of communication cost of database access
Principal investigator: prof. dr hab. Jerzy Tyszkiewicz
Methods and tools supporting correct software development
Principal investigator: prof. dr hab. Jan Madey
Methods of knowledge representation and reasoning in autonomous systems
Metody obliczeniowe interpretacji zmian genomu
Principal investigator: prof. dr hab. Anna Gambin
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
Modeling genome evolution
Principal investigator: prof. dr hab. Jerzy Tiuryn
Modeling of molecular evolution and of protein folding - an algorithmic approach
Principal investigator: prof. dr hab. Jerzy Tiuryn
Modeling stress induced transposons activity
Principal investigator: prof. dr hab. Anna Gambin
Modelling of fragmentation of biomolecules induced by electron transfer in mass spectrometry
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
Models, languages and systems for reliable and scalable distributed computing.
Principal investigator: dr Jacek Sroka
Modular operational semantiics: a bialgebraic approach.
Principal investigator: prof. dr hab. Bartosz Klin
Multiscale modeling of ceramide induced nerve cells apoptosis
Multiwinner Election Rules: Beyond Scoring Protocols
Principal investigator: dr hab. Piotr Skowron
Nearest neighbor problem without false negatives
Principal investigator: dr Piotr Wygocki
Nebulostore: Peer-to-Peer Storage System
Principal investigator: dr hab. Krzysztof Rządca, prof. UW
Networks: Multidisciplinary Aproach
Principal investigator: prof. dr Krzysztof Apt
New models of automata
Principal investigator: prof. dr hab. Sławomir Lasota
New notion of finiteness in computation.
Principal investigator: prof. dr hab. Mikołaj Bojańczyk
New techniques for graph algorithms: exact algorithms for NP-hard problems, sparse graphs and their applications
Principal investigator: prof. dr hab. Łukasz Kowalik
New trends in text algorithms
Principal investigator: dr hab. Jakub Radoszewski, prof. UW
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
Observational equivalence of programs and data structures vs bisimulation equivalence of concurrent processes (doctoral dissertation grant )
Principal investigator: prof. dr hab. Andrzej Tarlecki
Off-chain labs: formal models, constructions and proofs
Principal investigator: prof. dr hab. Stefan Dziembowski
Online Algorithms for Stochastic Models
Principal investigator: dr hab. Marcin Mucha
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
Optimality in Parameterized Complexity
Principal investigator: dr hab. Michał Pilipczuk, prof. UW
Paraconsistent Reasoning in Autonomous Systems Situated in Informationally-Complex Enviroments
Principal investigator: prof. dr hab. Barbara Dunin-Kęplicz
Parallel and distributed algorithms for combinatorial problems
Parameterized algorithms in graph problems and permutation pattern matching
Principal investigator: dr hab. Marek Cygan
Parameterized complexity and moderately exponential-time algorithms
Principal investigator: prof. dr hab. Łukasz Kowalik
Parameters of finite models
Principal investigator: dr hab. Eryk Kopczyński
Perception Based Computing
Principal investigator: dr Piotr Wasilewski
Podstawy teoretyczne selekcji cech w celu uodpornienia modeli prognostycznych na częściowe braki w danych
Practical Approximation Algorithms - Proof of Concept
Principal investigator: dr hab. Piotr Sankowski, prof. UW
Predicting synthetic lethality in cancer
Principal investigator: dr hab. Ewa Szczurek, prof. UW
Prediction of protein and peptide isoelectric point based on sequence and structure features
Principal investigator: dr hab. Łukasz Kozłowski
Programowanie dynamiczne z gwarancjami
Proving correctness of behavioral implementation in software development process
Principal investigator: prof. dr hab. Sławomir Lasota
Pseudoentropy
Quality Assessment Tool for international Cooperation
Principal investigator: dr Janina Mincer-Daszkiewicz, prof. UW
Quantitative properties for higher-order recursion schemes
Principal investigator: dr hab. Paweł Parys, prof. UW
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
RCS Network Test Server
Principal investigator: prof. dr hab. Krzysztof Diks
Reasoning about programs using tools based on type theory
Principal investigator: prof. dr hab. Paweł Urzyczyn
Recent trends in kernelization: theory and experimental evaluation
Principal investigator: dr hab. Marcin Pilipczuk, prof. UW
Reinforcement learning - contemporary challenges
Reinforcement learning - contemporary challenges
Principal investigator: dr hab. Piotr Miłoś
Resource bounded approximation algorithms
Principal investigator: dr hab. Piotr Sankowski, prof. UW
SENSORIA - Software Engineering for Service-Oriented Overlay Computers
Coordinator: prof. dr hab. Andrzej Tarlecki
Security Course Curriculum Development
Principal investigator: prof. dr hab. Stefan Dziembowski , dr hab. Aleksy Schubert, prof. UW
Selected problems of modern algorithmics
Principal investigator: prof. dr hab. Wojciech Rytter
Semantical considerations in non-classical logics applied in approximate reasoning
Principal investigator: prof. dr hab. Andrzej Szałas
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
SocSenSys: social feedback systems based on body sensor networks
Principal investigator: dr hab. Konrad Iwanicki, prof. UW
Specification construction and software verification
Principal investigator: prof. dr hab. Andrzej Tarlecki
Specyfication and weryfication of software systems from theory to practice
Principal investigator: prof. dr hab. Andrzej Tarlecki
Strategic Resilince of Networks
Principal investigator: dr hab. Marcin Dziubiński
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
Structural properties of planar graphs and their algorithmic applications ( doctoral dissertation grant )
Principal investigator: prof. dr hab. Krzysztof Diks
Symbolic computations on first-order definable objects
Principal investigator: prof. dr hab. Sławomir Lasota
TUgbOAT
Principal investigator: dr hab. Piotr Sankowski, prof. UW
Technology transfer between modern algorithmic paradigms
Principal investigator: dr hab. Marek Cygan
Termination of rewriting in the calculus of constructions (doctoral dissertation grant)
Principal investigator: prof. dr hab. Jerzy Tiuryn
Test suits for validation and verification of Polish language analyzers
The Expressiveness of Modal Fixpoint Logics.
The topology of solution spaces of combinatorial problems
Principal investigator: dr Marcin Wrochna
Theory and practice of computing maximum matchings in graphs
Principal investigator: prof. dr hab. Krzysztof Diks
Thinking Far Ahead: Long-horizon planning using deep model-based reinforcement learning
Tight Lower Bounds Under Strong Complexity Assumptions
Tools and techniques for extending modularity and expressiveness of object-oriented languages (doctoral dissertation grant)
Principal investigator: prof. dr hab. Paweł Urzyczyn
Tools, algorithms and models in the study of common evolution of species, genes and proteins
Principal investigator: dr hab. Paweł Górecki
Tractable Game-Theoretic Network Centrality Measures
Principal investigator: dr Tomasz Michalak
Tractable dialogues in multi-agent systems
Two-variable equations over free semi-group ( doctoral dissertation grant )
Principal investigator: prof. dr hab. Wojciech Plandowski
Type theory in functional and object-oriented programming
Principal investigator: prof. dr hab. Paweł Urzyczyn
Types, proofs and correct programs
Coordinator: prof. dr hab. Paweł Urzyczyn
Uczenie maszynowe i automatyczne dowodzenie twierdzeń
Principal investigator: dr hab. Henryk Michalewski
Understanding recurtion
Principal investigator: dr hab. Lorenzo Clemente
Verificatinon and queries in the presence of data values
Coordinator: prof. dr hab. Sławomir Lasota
Zintegrowana analiza genomicznej, fenotypicznej i przestrzennej heterogeniczności nowotworów
Principal investigator: dr hab. Ewa Szczurek, prof. UW
[uzupełnić]
Principal investigator: dr hab. Bartosz Wilczyński
[uzupełnić]
Coordinator: prof. dr hab. Jerzy Tyszkiewicz
ngSim: new challenges in simulation of low-power wireless devices
Principal investigator: dr hab. Konrad Iwanicki, prof. UW

Institute of Applied Mathematics and Mechanics

Algorithms and complexity of continuous problems
Principal investigator: prof. dr hab. Leszek Plaskota
An application of functional genomics and bioinformatics to characterization and construction of models of biological processes which are essential for medicine and agriculture.
Analysis of hydrodynamic and chemotaxis equations
Principal investigator: prof. dr hab. Dariusz Wrzosek
Analysis of micropolar fluid equations on 2-dimensional torus
Principal investigator: prof. dr hab. Grzegorz Łukaszewicz
Analysis of parabolic equations exhibiting facets
Principal investigator: dr Michał Łasica
Analysis of size-structured population dynamics with selective mortality
Principal investigator: Andrzej Jabłoński
Analysis of stability of equilibria in differential and stochastic models of evolutionary games
Principal investigator: prof. dr hab. Jacek Miękisz
Analysis of structured population models in meric spaces
Anisotropic least gradient problem
Asymptotic analysis of kinetic systems
Principal investigator: prof. dr hab. Andrzej Palczewski
Asymptotic properties and inequalities for Markov chain Monte Carlo estimatorsN
Principal investigator: prof. dr hab. Wojciech Niemiro
Collective behavior - a mathematician's perspective
Principal investigator: prof. dr hab. Piotr Mucha
Complex flows
Principal investigator: prof. dr hab. Piotr Gwiazda
Complexity and algorithms for multidimensional problems with applications in finance and mathematical physics
Principal investigator: prof. dr hab. Leszek Plaskota
Complexity, tractability and algorithms for computational problems of continuous mathematics
Principal investigator: prof. dr hab. Leszek Plaskota
Compressed sensing.
Principal investigator: prof. dr hab. Przemysław Wojtaszczyk
Compressible, chemically reacting fluids mixtures
Principal investigator: Ewelina Zatorska
Computional methods for identifying dna resistance associated mutations in bactorial strains
Continuous problems: optimality, complexity, tractability
Principal investigator: prof. dr hab. Leszek Plaskota
Convergence rate of MCMC estimators and convergence of adaptive methods
Principal investigator: prof. dr hab. Wojciech Niemiro
Cucker-Smale's flocking model with a singular communication weight
Principal investigator: dr Jan Peszek
Deterministic and statistical solutions of micropolar fluids equations (doctoral dissertation grant)
Principal investigator: prof. dr hab. Grzegorz Łukaszewicz
Dimensional structure of hereditarily indecomposable continua
Principal investigator: prof. dr hab. Elżbieta Pol
Dynamic Games Modeling "The tragedy of the Commons"
Dynamics of free boundaries in phase-transition models
Principal investigator: prof. dr hab. Piotr Rybka
Effective parallel algorithm for partial differential equations
Principal investigator: prof. dr hab. Maksymilian Dryja
Effective parallel algorithms for solving partial differential equations
Principal investigator: dr hab. Leszek Marcinkowski, prof. UW
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
Energetic constraints on information processing and storing in the nervous system
Principal investigator: dr hab. Jan Karbowski
Evolution equations in hydrodynamics and biology
Principal investigator: prof. dr hab. Grzegorz Łukaszewicz
Free boundary problems in continuum mechanics
Principal investigator: prof. dr hab. Grzegorz Łukaszewicz
From healthy to mutated cell - a mathematical description of various types of cell populations
Principal investigator: prof. dr hab. Urszula Foryś
Geometric methods and problems in nonlinear eliptic PDE's
Principal investigator: dr hab. Anna Zatorska-Goldstein, prof. UW
Heat convection in incompressible fluids
Principal investigator: prof. dr hab. Grzegorz Łukaszewicz
Hybrid securities: contingent convertible bonds and bail-in bonds
Principal investigator: dr hab. Piotr Jaworski, prof. UW
Hyperbolic conservation laws: theory and applications in geoscience and public health
Principal investigator: prof. dr hab. Agnieszka Świerczewska-Gwiazda
Impact of the mechanisms of the exchange in the nodes on the asymptoic properties of network transport models
Principal investigator: dr Aleksandra Puchalska
Kartezjusz
Principal investigator: prof. dr hab. Piotr Mucha
Mathematical Methods in Natural Sciences
Principal investigator: prof. dr hab. Piotr Gwiazda
Mathematical analysis of thermo-visco-elasticity
Mathematical and numerical analysis of the models of morphogen transport
Principal investigator: dr Marcin Małogrosz
Mathematical fluid mechanics
Principal investigator: prof. dr hab. Piotr Mucha
Mathematical foundation of the multiscale descriptions
Principal investigator: prof. dr hab. Mirosław Lachowicz
Mathematical modelling of brain tumours of glial origin and their response to therapies
Mathematical modelling of crystal growth
Principal investigator: prof. dr hab. Piotr Rybka
Mathematical modelling of neoplastic processes
Principal investigator: dr hab. Monika Piotrowska
Mathematical models and methods in description of tumour growth and its therapies
Principal investigator: dr hab. Marek Bodnar, prof. UW
Mathematical models of chemotaxis processes and related phenomena
Principal investigator: prof. dr hab. Dariusz Wrzosek
Mathematical models of evolutionary game theory and genetic networks
Principal investigator: prof. dr hab. Jacek Miękisz
Mathematical models of quasicrystals
Principal investigator: prof. dr hab. Jacek Miękisz
Measure oriented approach to nonlinear PDEs and variational problems
Principal investigator: dr hab. Anna Zatorska-Goldstein, prof. UW
Metody obliczeniowe dla wysokowymiarowego uczenia statystycznego
Principal investigator: dr hab. Błażej Miasojedow, prof. UW
Metody słabej zbieżności dla równań fizyki i biologii matematycznej
Principal investigator: dr Tomasz Dębiec
Modeling stock exchange by dynamical games with continuum number of players
Principal investigator: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW
Modeling, Mathematical Methods and Computer Simulation of Tumour Growth and Therapy
Principal investigator: prof. dr hab. Mirosław Lachowicz
Modern asset management for non-Gaussian distributions
Principal investigator: prof. dr hab. Andrzej Palczewski
Monte Carlo methods for Markov jump processes
Principal investigator: dr hab. Błażej Miasojedow, prof. UW
Multi-scale approaches in Life and Social Sciences
Principal investigator: prof. dr hab. Mirosław Lachowicz
National PhD Studies on Mathematical Sciences
Principal investigator: prof. dr hab. Piotr Mucha
New challenges for IBC
Principal investigator: prof. dr hab. Henryk Woźniakowski
Non Newtonian fluid with nonstandard reology
Principal investigator: prof. dr hab. Piotr Gwiazda
Non-obvious aspects of modelling common resources and markets using dynamic games
Principal investigator: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW
Nonlinear PDE's related to variational and geometric problems
Principal investigator: dr hab. Anna Zatorska-Goldstein, prof. UW
Nonlinear differential problems in generalised Sobolev and Orlicz spaces
Principal investigator: dr hab. Iwona Chlebicka, prof. UW
Nonlocal problems of interface evolution
Principal investigator: prof. dr hab. Piotr Rybka
Numerical complexity and algorithms for problems of continuous mathematics
Principal investigator: prof. dr hab. Leszek Plaskota
Numerical simulations of sever plastic deformations by flow model of crystal plasticity
Parallel algorithms for solving partial differential equations
Principal investigator: prof. dr hab. Maksymilian Dryja
Parallel algorithms of solving partial differential problems
Principal investigator: prof. dr hab. Maksymilian Dryja
Parallel algorithms of solving problems for partial differential equations
Principal investigator: prof. dr hab. Maksymilian Dryja
Qualitative analysis of non-compressible viscous fluids
Principal investigator: Piotr Mucha
Rank regression and U-processes with Lasso penalty - model selection, estimation and oracle inequalities
Relative entropy method for nonlinear systems
Principal investigator: prof. dr hab. Agnieszka Świerczewska-Gwiazda
SOSnet: sparse modelling and prediction for high-dimensional data
Principal investigator: dr hab. Piotr Pokarowski, prof. UW
Singular collective dynamics
Principal investigator: dr Jan Peszek
Space of measurs and Orlicz spaces in mathematica description of the flow and grow
Principal investigator: prof. dr hab. Piotr Gwiazda
Stability of blow-up patterns for the Fujita equation
Principal investigator: dr Mikołaj Sierżęga
Stefan-type problems in mathematical modeling of growth and melting of crystals
Principal investigator: prof. dr hab. Piotr Rybka
Sudden directional diffusion in the evolution of free surfaces
Principal investigator: prof. dr hab. Piotr Rybka
The tragedy of the commons in dynamic context - modelling, methodology and prevention
Principal investigator: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW
Theoretical foundations of interactive theorem provers with unrestricted recursive definitions.
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
Time delays in stochastic models in biological sciences
Principal investigator: prof. dr hab. Jacek Miękisz
Towards regularity
Principal investigator: prof. dr hab. Piotr Rybka
Tractability of non-homogeneous multivariate problems.
Principal investigator: dr Paweł Siedlecki
Transport phenomena in mathematical biology
Principal investigator: prof. dr hab. Agnieszka Świerczewska-Gwiazda
Types for Proofs and Programs.
Coordinator: prof. dr hab. Paweł Urzyczyn
Using mathematical modelling and computer simulation to improve cancer therapy
Principal investigator: prof. dr hab. Mirosław Lachowicz
Variance-based sensitivity analysis for delay differential equations
Principal investigator: dr hab. Jan Poleszczuk
Variational Problems in Optical Engineering and Free Material Design
Weak and measure-valued solutions for equations of mathematical physics
Principal investigator: dr Tomasz Dębiec
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

Erasmus Without Paper

Erasmus Without Paper