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

Secure domain signature and anonymous credential schemes for smart cards

Call: OPUS 8 , Panel: ST6

Principal investigator: prof. Mirosław Kutyłowski

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

Affiliation hiding group signatures

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Kamil Kluczniak

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

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

New methods of identity verification based on the dynamic features of a signature with use of selected artificial intell...

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: Marcin Zalasiński

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej 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

Semantic tensor networks for large data sets analysis

Call: OPUS 8 , Panel: ST6

Principal investigator: dr hab. Piotr Gawron

Instytut Informatyki Teoretycznej i Stosowanej PAN

Efficient and Secure Authenticated Encryption - New Designs and Advanced Cryptanalysis

Call: OPUS 8 , Panel: ST6

Principal investigator: prof. Józef Pieprzyk

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Biometric data in security systems with restricted resources - authentication and protection.

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Wojciech Wodo

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

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

Quantum information processing with severely limited memory and communication

Call: SONATA BIS 4 , Panel: ST2

Principal investigator: dr hab. Marcin Pawłowski

Uniwersytet Gdański, Wydział Matematyki, Fizyki 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

Electrostatically controlled spin-orbit interaction in the application to the operations on the spin of single electron ...

Call: OPUS 7 , Panel: ST3

Principal investigator: prof. Stanisław Bednarek

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

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

Minimization of disturbance in quantum walk based algorithms and protocols.

Call: PRELUDIUM 6 , Panel: ST6

Principal investigator: Przemysław Sadowski

Instytut Informatyki Teoretycznej i Stosowanej PAN

Quantum Bayesian networks

Call: PRELUDIUM 6 , Panel: ST6

Principal investigator: Dariusz Kurzyk

Instytut Informatyki Teoretycznej i Stosowanej PAN

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

Correlations and Coherence at Different Scales

Call: OPUS 6 , Panel: ST3

Principal investigator: prof. Maciej Maśka

Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii

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

Cryptographic schemes based on rapidly mixing Markov chains

Call: SONATA BIS 3 , Panel: ST1

Principal investigator: dr Filip Zagórski

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

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

Cryptanalysis of a family of Keccak hash functions

Call: SONATA 5 , Panel: ST6

Principal investigator: dr Paweł Morawiecki

Instytut Podstaw Informatyki Polskiej Akademii Nauk

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

Quantum games: theory and implementation

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Jan Sładkowski

Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii

The BDD/FC Conjecture and beyond

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: Tomasz Gogacz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Control system of bioprosthetic hand based on advanced analysis of biosignals and feedback from the prosthesis sensors

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Marek Kurzyński

Politechnika Wrocławska, Wydział Elektroniki

Adversary immune data processing algorithms for ad hoc systems

Call: HARMONIA 4 , Panel: ST6

Principal investigator: prof. Mirosław Kutyłowski

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

Qualitative and quantitative studies on the randomness of the measurement outcomes in quantum mechanics

Call: HARMONIA 4 , Panel: ST2

Principal investigator: dr Marcin Pawłowski

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

New methods in parametric model checking

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: Michał Knapik

Instytut Podstaw Informatyki PAN