You are not logged in | log in

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

Grants

Institute of Mathematics

Institute of Informatics

TUgbOAT
Holder: Piotr Sankowski
Opracowanie technologii pozwalających na rozpoznawanie określonych cech osób
Holder: Piotr Biliński
Algorytmy i modele statystyczne służące do przewidywania schematów fragmentacji cząsteczek podczas dysocjacji indukowanej kolizjami
Holder: Grzegorz Skoraczyński
Metody obliczeniowe interpretacji zmian genomu
Holder: Anna Gambin
Grupowe Miary Centralności: Aksjomaty, Algorytmy i Aplikacje
Holder: Oskar Skibski
Zintegrowana analiza genomicznej, fenotypicznej i przestrzennej heterogeniczności nowotworów
Holder: Ewa Szczurek
Algorytmiczne wyzwania spektrometrii masowej
Holder: Anna Gambin
Quality Assessment Tool for international Cooperation
Holder: Janina Mincer-Daszkiewicz
Cuts and decompositions: algorithms and combinatorial properties
Holder: Marcin Pilipczuk
Uczenie maszynowe i automatyczne dowodzenie twierdzeń
Holder: Henryk Michalewski
European Training Network for Computational Oncology
Holder: Ewa Szczurek
Identification of regulatory non-coding variants associated with neurodegenerative disorders based on targeted sequencing of open chromatin regions
Holder: Magdalena Machnicka
Metody optymalizacji w alokacji zasobów obliczeniowych wielkiej skali
Holder: Krzysztof Rządca
Blockchain wallets -- cryptographic theory and applications
Holder: Stefan Dziembowski
Probabilistic tools for high-dimensional geometric inference, topological data analysis, and large-scale networks.
Holder: Kunal Dutta
A unified theory of finite-state recognisability
Holder: Mikołaj Bojańczyk
Algorithms for inferring multi-contact interactions from chromosome conformation capture data
Holder: Aleksander Jankowski
Atlas of brain regulatory regions and regulatory networks - a novel system biology approach to pathogenesis of selected neurological disorders
Holder: Bartosz Wilczyński
Automatics analysis of concurent systems
Holder: Sławomir Lasota
Biologically meaningful interference of phylogetentics networks
Holder: Paweł Górecki
Challenging problems in infinite-state systems
Holder: Wojciech Czerwiński
Computational aspects of non-Euclidean geometries
Holder: Eryk Kopczyński
Conflicts with multiple battlefield and discrete resources
Holder: Marcin Dziubiński
Consistent Models and Efficient Algorithms for Genomic Duplications
Holder: Paweł Górecki
Cryptographic Defence Against Malicious Hardware Manufacturers
Holder: Stefan Dziembowski
Deep neural architectures for automated theorem proving
Holder: Bartosz Piotrowski
Development of algorithmic and statistical methods in mass spectrometry
Holder: Michał Startek
Dynamic algorithms for directed graphs under weak assumptions about the adversary
Holder: Adam Karczmarz
Dynamic graphs; connectivity, flows and coloring
Holder: Anna Zych-Pawlewicz
Effective computations in predicative mathematics
Holder: Michał Przybyłek
Genome assembly algorithms for genetic disorders diagnosis
Holder: Barbara Poszewiecka
Highly configurable eSignature Solution for higher education
Holder: Janina Mincer-Daszkiewicz
Infinity in reasoning about data and knowledge
Holder: Filip Murlak
Integrative analysis of single-cell genomics data
Holder: Aleksander Jankowski
Limits od databases
Holder: Szymon Toruńczyk
Many-valued and probabilistic extensions of rule-based languages
Holder: Andrzej Szałas
Multiwinner Election Rules: Beyond Scoring Protocols
Holder: Piotr Skowron
Nearest neighbor problem without false negatives
Holder: Piotr Wygocki
New trends in text algorithms
Holder: Jakub Radoszewski
ngSim: new challenges in simulation of low-power wireless devices
Holder: Konrad Iwanicki
Paraconsistent Reasoning in Autonomous Systems Situated in Informationally-Complex Enviroments
Holder: Barbara Dunin-Kęplicz
Prediction of protein and peptide isoelectric point based on sequence and structure features
Holder: Łukasz Kozłowski
Quantitative properties for higher-order recursion schemes
Holder: Paweł Parys
Smart-Contract Protocols: Theory for Applications
Holder: Stefan Dziembowski
Strategic Social Network Analysis
Holder: Tomasz Michalak
Technology transfer between modern algorithmic paradigms
Holder: Marek Cygan
Understanding recurtion
Holder: Lorenzo Clemente

Institute of Applied Mathematics and Mechanics