Projects funded by the NCN

Development of Models and Methods for Incorporating Knowledge to Support Vector Machines

Call: SONATA 9 , Panel: ST6

Principal investigator: dr Marcin Orchel

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

Blind signatures and electronic identity documents

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Lucjan Hanzlik

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

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

Call: OPUS 8 , Panel: ST6

Principal investigator: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Selected SMT-based model checking methods

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Agnieszka Zbrzezny

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Weighted automata for quantitative properties

Call: SONATA 8 , Panel: ST6

Principal investigator: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Reasoning about programs in higher-order languages

Call: OPUS 8 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Logics for data analysis and verification

Call: SONATA 8 , Panel: ST6

Principal investigator: dr Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Numerical and structural invariants in algebra, logic and constraint satisfaction problems

Call: MAESTRO 6 , Panel: ST6

Principal investigator: prof. Paweł Idziak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Communication Problems in Wireless Sensor Networks

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: Michał Różański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algebraic theory for CSP (tractability, approximation and optimization)

Call: OPUS 7 , Panel: ST6

Principal investigator: dr hab. Marcin Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Cryptography without trusted parties

Call: SONATA 7 , Panel: ST6

Principal investigator: dr Tomasz Kazana

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Decidability issues for automata on infinite structures

Call: OPUS 7 , Panel: ST6

Principal investigator: prof. Damian Niwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Foundations of Cryptocurrencies

Call: OPUS 7 , Panel: ST6

Principal investigator: dr hab. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

From nonuniform disk data to leakage-resilient authentication schemes

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: Michał Zając

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Languages and Learning in General Game Playing

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: Jakub Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Complexity of algorithms on compressed data

Call: OPUS 7 , Panel: ST6

Principal investigator: prof. Wojciech Rytter

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition

Call: OPUS 6 , Panel: HS1

Principal investigator: dr hab. Marcin Mostowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Specification development and software verification

Call: OPUS 6 , Panel: ST6

Principal investigator: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Online learning of matrices

Call: SONATA 6 , Panel: ST6

Principal investigator: dr Wojciech Kotłowski

Politechnika Poznańska, Wydział Informatyki

Challenges in semistructural data management

Call: SONATA 6 , Panel: ST6

Principal investigator: dr Filip Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Gaussian and Belief Networks in Bayesian Adaptation and Optimization of Behavioral Patterns [javascript:void(0);]

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: dr Michał Matuszak

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Asymptotic methods in lambda calculus and combinatory logic

Call: OPUS 6 , Panel: ST6

Principal investigator: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

New methods of comprehensive analysis of concurrent computing systems

Call: SONATA 5 , Panel: ST6

Principal investigator: dr Łukasz Mikulski

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Combinatorial and information theory aspects of communication in distributed systems.

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: dr Marcin Kardas

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Theoretical aspects of voting protocols

Call: SONATA 5 , Panel: ST6

Principal investigator: dr Filip Zagórski

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Formal approach to practical problems of information hiding

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Marek Klonowski

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Frontiers of tractability for recursive queries

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: dr Filip Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Frontiers of automatic verification: new methods of analysis of infinite-state systems

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorithms for robust discrete optimization

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Adam Kasperski

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

Automatic reasoning about specifications in simple logics - decidability and complexity issues

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Lidia Tendera

Uniwersytet Opolski

Synchronization of automata and the Cerny conjecture

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

The BDD/FC Conjecture and beyond

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: Tomasz Gogacz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Game theoretical approach to determining a crucial nodes in the networks.

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: Piotr Szczepański

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Color image retrieval system based on the multichannel analysis of spatial information.

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Maria Łuszczkiewicz-Piątek

Uniwersytet Łódzki, Wydział Matematyki i Informatyki

Correlation of dynamics of H1 linker histone with spatial architecture of chromatin in cell nuclei.

Call: OPUS 1 , Panel: NZ3

Principal investigator: prof. Jerzy Dobrucki

Uniwersytet Jagielloński, Wydział Biochemii, Biofizyki i Biotechnologii

New methods in parametric model checking

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: Michał Knapik

Instytut Podstaw Informatyki PAN

LP rounding approximation algorithms

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: Bartosz Rybicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorithms concerning the legibility of natural deduction proofs

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: dr Karol Pąk

Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

A new notion of finiteness in computation theory

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Theoretical foundations of interactive theorem provers with unrestricted recursive definitions

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: Łukasz Czajka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modular operational semantics: a bialgebraic approach

Call: SONATA BIS 2 , Panel: ST6

Principal investigator: dr hab. Bartosz Klin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatisation of constructive logic

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Aleksy Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

parameters of finite models

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Eryk Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Limits of decidability in automata theory

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making

Call: OPUS 4 , Panel: HS1

Principal investigator: prof. Jan Hertrich-Woleński

Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

Distributed Computing in Dynamic Networks

Call: HARMONIA 3 , Panel: ST6

Principal investigator: dr hab. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Simulation and bisimulation for context-free and pushdown systems

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Theoretical and practical homology computation for big data sets.

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Mateusz Juda

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Hierarchy-type Problems for Automata on Infinite Words and Trees

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modified versions of Bayesian Information Criteria in a sparse linear regression -- theoretical properties and applicati...

Call: PRELUDIUM 3 , Panel: ST1

Principal investigator: Piotr Szulc

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki