Projects funded by the NCN

Stoping methods in analysis of chosen algorithms

Call: OPUS 9 , Panel: ST6

Principal investigator: prof. Michał Morayne

Politechnika Wrocławska

Selected topics in the theory of locally compact quantum groups

Call: OPUS 9 , Panel: ST1

Principal investigator: dr hab. Piotr Sołtan

Uniwersytet Warszawski, Wydział Fizyki

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

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

Hamiltonians and quantum fields

Call: OPUS 8 , Panel: ST1

Principal investigator: prof. Jan Dereziński

Uniwersytet Warszawski, Wydział Fizyki

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

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

Geometric, probabilistic and analytic theory of topological quantum groups and its interaction with operator algebras

Call: SONATA BIS 4 , Panel: ST1

Principal investigator: dr hab. Adam Skalski

Instytut Matematyczny PAN

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

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

Relation between the geometry of quantum systems and their spectral properties; analysis of a special class of models.

Call: OPUS 6 , Panel: ST1

Principal investigator: dr Sylwia Kondej

Uniwersytet Zielonogórski, Wydział Fizyki i Astronomii

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

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

Application of the theory of measure concentration in description of statistical properties of quantum systems

Call: PRELUDIUM 5 , Panel: ST1

Principal investigator: dr Michał Oszmaniec

Centrum Fizyki Teoretycznej PAN

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

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

ARITHMETIC ALGEBRAIC GEOMETRY

Call: OPUS 5 , Panel: ST1

Principal investigator: prof. Grzegorz Banaszak

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

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

Computational study of physicochemical properties of fragment bacterial ribosome and enzymes in the bounding places of l...

Call: PRELUDIUM 5 , Panel: ST4

Principal investigator: dr Katarzyna Kulczycka-Mierzejewska

Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego

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

Basic problems of quantum information theory and discrimination of quantum states and operations

Call: OPUS 1 , Panel: ST1

Principal investigator: prof. Andrzej Łuczak

Uniwersytet Łódzki, Wydział Matematyki i Informatyki

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