Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

204 projects found matching your search criteria :

  1. Quantitative properties for higher-order recursion schemes

    Call: SONATA BIS 6 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Scalable reasoning about concurrent imperative programs

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  3. Aspects of grammar compression

    Call: SONATA BIS 7 , Panel: ST6

    Principal investigator: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  4. Understanding recursion

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Lorenzo Clemente

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  5. Towards easier tests of quantum phenomena

    Call: SHENG 1 , Panel: ST2

    Principal investigator: dr hab. Marcin Pawłowski

    Uniwersytet Gdański, Międzynarodowe Centrum Teorii Technologii Kwantowych

  6. Optimality program in graph homomorphism problems

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

  7. Quantitative study of set theory. Are ZF and ZFC asymptotically equivalent?

    Call: OPUS 16 , Panel: ST6

    Principal investigator: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  8. 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

  9. Privacy aspects of selected complex systems.

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Piotr Syga

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

  10. 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

  11. Algorithms for robust discrete optimization

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Adam Kasperski

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

  12. 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

  13. 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

  14. Languages and Learning in General Game Playing

    Call: PRELUDIUM 7 , Panel: ST6

    Principal investigator: Jakub Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  15. Foundations of Cryptocurrencies

    Call: OPUS 7 , Panel: ST6

    Principal investigator: dr hab. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  16. Cryptography without trusted parties

    Call: SONATA 7 , Panel: ST6

    Principal investigator: dr Tomasz Kazana

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  17. Communication Problems in Wireless Sensor Networks

    Call: PRELUDIUM 7 , Panel: ST6

    Principal investigator: Michał Różański

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  18. 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

  19. Weighted automata for quantitative properties

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  20. Blind signatures and electronic identity documents

    Call: PRELUDIUM 8 , Panel: ST6

    Principal investigator: Lucjan Hanzlik

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

  21. 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

  22. Stoping methods in analysis of chosen algorithms

    Call: OPUS 9 , Panel: ST6

    Principal investigator: prof. Michał Morayne

    Politechnika Wrocławska

  23. Algorithmic aspects of synchronization

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr Adam Roman

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  24. Finding Applications for Logic with Partial Functions

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr hab. Jean de Nivelle

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  25. Optimality, universality and controllability in quantum computation theory

    Call: SONATA BIS 5 , Panel: ST1

    Principal investigator: dr Adam Sawicki

    Centrum Fizyki Teoretycznej PAN

  26. Algorithmic Structure Theory for Sparse Graphs

    Call: POLONEZ 1 , Panel: ST6

    Principal investigator: Dipl. Inform. Sebastian Siebertz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  27. Separability problem in automata theory

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Wojciech Czerwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  28. Algorithmic and Axiomatic Analysis of Committee Scoring Rules

    Call: OPUS 11 , Panel: ST6

    Principal investigator: dr hab. Piotr Faliszewski

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

  29. From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Emanuel Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  30. H-graphs - recognition, isomorphism, and related problems

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Jan Kazimierz Derbisz

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  31. Harnessing the environment for topological quantum computing

    Call: OPUS 21 , Panel: ST3

    Principal investigator: dr Mircea Teodor Trif

    Instytut Fizyki Polskiej Akademii Nauk

  32. Fair Problems and Diverse Solutions in Parameterized Complexity

    Call: SONATA 17 , Panel: ST6

    Principal investigator: dr Tomáš Masařík

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  33. Certifying Genuine Randomness with arbitrarily Inefficient Detectors

    Call: SONATINA 6 , Panel: ST2

    Principal investigator: dr Anubhav Chaturvedi

    Politechnika Gdańska, Wydział Fizyki Technicznej i Matematyki Stosowanej

  34. Satsifiability and equivalence problems for finite algebras

    Call: OPUS 23 , Panel: ST6

    Principal investigator: dr Jacek Krzaczkowski

    Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki

  35. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  36. Dimension and Boolean dimension of partial orders

    Call: OPUS 24 , Panel: ST6

    Principal investigator: dr hab. Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  37. Mitigation of quantum computers errors in the pre-fault-tolerant era

    Call: SONATA 18 , Panel: ST2

    Principal investigator: dr Piotr Czarnik

    Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

  38. Automation of the Problem of Unification in Description Logics

    Call: POLONEZ BIS 3 , Panel: ST6

    Principal investigator: dr hab. Barbara Joanna Morawska

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  39. Optimal and probabilistic learning of quantum devices

    Call: OPUS 24 , Panel: ST6

    Principal investigator: dr hab. Zbigniew Puchała

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

  40. Data ownership and privacy meet generative neural networks

    Call: OPUS 25 , Panel: ST6

    Principal investigator: dr hab. Paweł Morawiecki

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  41. Processing massive string data and beyond: algorithms and conditional lower bounds

    Call: OPUS 26 , Panel: ST6

    Principal investigator: dr Paweł Gawrychowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  42. Beyond Worst-Case Analysis: Online Problems with Delays and Stochastic Arrival Times

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Michał Pawłowski

    IDEAS NCBR SP. Z O.O.

  43. 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

  44. Multimodal biometric system for contactless persons identification

    Call: SONATA 1 , Panel: ST6

    Principal investigator: dr Wojciech Sankowski

    Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki

  45. Texture analysis and recognition for computer-aided diagnostics of skin lesions digital images

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Leszek Nowak

    Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

  46. Colorings, cliques, and independent sets in graph classes

    Call: SONATA BIS 9 , Panel: ST6

    Principal investigator: dr hab. Bartosz Maria Walczak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  47. Analysis and decomposition of a control part of a cyber-physical system specified by an interpreted Petri net.

    Call: OPUS 18 , Panel: ST6

    Principal investigator: dr hab. Remigiusz Grzegorz Wiśniewski

    Uniwersytet Zielonogórski

  48. Certification of randomness in quantum systems of arbitrary dimension

    Call: SONATINA 4 , Panel: ST2

    Principal investigator: dr Jakub Jan Borkała

    Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

  49. Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

    Call: OPUS 19 , Panel: ST6

    Principal investigator: dr hab. Michał Maria Wrona

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  50. Space-efficient encodings of combinatorial problems for variational quantum computing

    Call: PRELUDIUM 19 , Panel: ST6

    Principal investigator: dr Adam Piotr Glos

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy