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 group actions on varieties
Principal investigator: prof. dr hab. Mariusz Koras

Financed by: State Committee for Scientific Research
Algebraic structures and properties of algebraic varieties
Principal investigator: prof. dr hab. Adrian Langer

Financed by: Ministry of Science and Higher Education
Algebraic topology
Principal investigator: prof. dr hab. Stanisław Betley

Financed by: Ministry of Science and Higher Education
Algebraic varieties and algebraic structures
Principal investigator: prof. dr hab. Jarosław Wiśniewski

Financed by: State Committee for Scientific Research
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.
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
Borel sets in function spaces with the weak topology
Principal investigator: prof. dr hab. Roman Pol

Financed by: State Committee for Scientific Research
Classsification of function spaces
Principal investigator: prof. dr hab. Witold Marciszewski

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

Financed by: State Committee for Scientific Research
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
Curves and surfaces on algebraic varieties
Principal investigator: prof. dr hab. Jarosław Wiśniewski

Financed by: State Committee for Scientific Research
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
European Algebraic Geometry Research Training Network EAGER
Principal investigator: prof. dr hab. Jarosław Wiśniewski

Financed by: European Commission
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
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
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
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
Inequalities for semimartingales and stochastic integrals
Principal investigator: prof. dr hab. Adam Osękowski

Financed by: Ministry of Science and Higher Education
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
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
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
Moment and tail estimates for random multilinear forms
Principal investigator: prof. dr hab. Rafał Latała

Financed by: State Committee for Scientific Research
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
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
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
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
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
Qualitative and ergodic properties of smooth dynamical systems
Principal investigator: prof. dr hab. Henryk Żołądek

Financed by: State Committee for Scientific Research
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
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
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
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 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
Subspace semigroup of finite dimensional algebras and noetherian algebras
Principal investigator: prof. dr hab. Jan Okniński

Financed by: State Committee for Scientific Research
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 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
Type theory for examination of program properties
Principal investigator: prof. dr hab. Paweł Urzyczyn

Financed by: Ministry of Science and Higher Education
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
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

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
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 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
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
Algorytmiczne i kombinatoryczne aspekty okresowości i powtórzeń w słowach
Principal investigator: Tomasz Kociumaka

Financed by: Ministry of Science and Higher Education
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
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 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
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.
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
Complex algorithmic problems in the modern theoretical computer science
Principal investigator: prof. dr hab. Wojciech Rytter

Financed by: Ministry of Science and Higher Education
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
Cryptographic Protocols Provably-Secure Against Physical Attacks
Principal investigator: prof. dr hab. Stefan Dziembowski

Financed by: Foundation for Polish Science
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
Detection and evolutionary analysis of repeats in protein sequences
Coordinator: prof. dr hab. Anna Gambin

Financed by: State Committee for Scientific Research
EMBO Installation Grants
Principal investigator: dr hab. Bartosz Wilczyński, prof. ucz.

Financed by: European Molecular Biology Organization
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
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
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 XML – Safe Processing of Dynamic Data over the Internet (FOX)
Principal investigator: prof. dr hab. Mikołaj Bojańczyk

Financed by: European Commission
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
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
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
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
Interactive Computations in Layered Granular Networks
Principal investigator: dr Piotr Wasilewski

Financed by: Foundation for Polish Science
MOBIUS - Mobility, Ubiquity and Security
Principal investigator: prof. dr hab. Andrzej Tarlecki

Financed by: European Community 6th Framework Programme
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
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
Models and languages for specifying dataflows (doctoral dissertation grant)
Principal investigator: prof. dr hab. Jerzy Tyszkiewicz

Financed by: Ministry of Science and Higher Education
Nebulostore: Peer-to-Peer Storage System
Principal investigator: dr hab. Krzysztof Rządca, prof. UW

Financed by: Foundation for Polish Science
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
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
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
Parallel and distributed algorithms for combinatorial problems
Financed by: State Committee for Scientific Research
Proving correctness of behavioral implementation in software development process
Principal investigator: prof. dr hab. Sławomir Lasota

Financed by: State Committee for Scientific Research
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
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
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
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
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
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
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
Theory and practice of computing maximum matchings in graphs
Principal investigator: prof. dr hab. Krzysztof Diks

Financed by: Ministry of Science and Higher Education
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
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
Verificatinon and queries in the presence of data values
Coordinator: prof. dr hab. Sławomir Lasota

Financed by: Ministry of Science and Higher Education
[uzupełnić]
Coordinator: prof. dr hab. Jerzy Tyszkiewicz

Financed by: European Commission

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 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
Asymptotic analysis of kinetic systems
Principal investigator: prof. dr hab. Andrzej Palczewski

Financed by: State Committee for Scientific Research
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
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
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
Dynamics of free boundaries in phase-transition models
Principal investigator: prof. dr hab. Piotr Rybka

Financed by: Ministry of Science and Higher Education
Efficient approximation of functions
Principal investigator: prof. dr hab. Przemysław Wojtaszczyk

Financed by: Ministry of Science and Higher Education
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
Mathematical Methods in Natural Sciences
Principal investigator: prof. dr hab. Piotr Gwiazda

Financed by: Foundation for Polish Science
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 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 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
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
National PhD Studies on Mathematical Sciences
Principal investigator: prof. dr hab. Piotr Mucha

Financed by: The National Centre for Research and Development
Nonlinear PDE's related to variational and geometric problems
Principal investigator: dr hab. Anna Zatorska-Goldstein, prof. UW

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

Financed by: State Committee for Scientific Research
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
Qualitative analysis of non-compressible viscous fluids
Principal investigator: Piotr Mucha

Financed by: Ministry of Science and Higher Education
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
Therapy optimization in glioblastoma: An integrative human data-based approach using mathematical modela
Financed by: James S. Mc. Donnell Foundation
Towards regularity
Principal investigator: prof. dr hab. Piotr Rybka

Financed by: Instytut Matematyczny Polskiej Akademii Nauk
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

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ą