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

248 projects found matching your search criteria :

  1. Blockchain wallets -- cryptographic theory and applications

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Methods of development, modelling and analysis of quantum internetworking protocols

    Call: SONATA 2 , Panel: ST6

    Principal investigator: dr hab. Jarosław Miszczak

    Instytut Informatyki Teoretycznej i Stosowanej PAN

  3. Fundamental aspects of the quantum set of correlations

    Call: SONATA 15 , Panel: ST2

    Principal investigator: dr Jędrzej Kaniewski

    Uniwersytet Warszawski, Wydział Fizyki

  4. Optimal generalized quantum measurements and their applications

    Call: PRELUDIUM BIS 1 , Panel: ST2

    Principal investigator: prof. Karol Życzkowski

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

  5. Diamond-based fundamental research on light-matter interaction with single photons

    Call: PRELUDIUM 18 , Panel: ST2

    Principal investigator: Maria Gieysztor

    Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Fizyki, Astronomii i Informatyki Stosowanej

  6. 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 Wiśniewski

    Uniwersytet Zielonogórski

  7. Fundamental problems and implementations of dissipative quantum engineering

    Call: MAESTRO 11 , Panel: ST2

    Principal investigator: prof. Adam Miranowicz

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki

  8. Nondemolition quantum-state tomography and spin-interaction detection

    Call: SONATA BIS 9 , Panel: ST2

    Principal investigator: dr hab. Szymon Pustelny

    Uniwersytet Jagielloński

  9. Employing multiphoton quantum interference for selected quantum information processing tasks

    Call: SONATA BIS 9 , Panel: ST2

    Principal investigator: dr hab. Magdalena Stobińska

    Uniwersytet Warszawski, Wydział Fizyki

  10. Characterization and certification of quantum resources

    Call: SONATA BIS 9 , Panel: ST2

    Principal investigator: dr hab. Remigiusz Augusiak

    Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

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

    Call: SONATA BIS 9 , Panel: ST6

    Principal investigator: dr hab. Bartosz Walczak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  12. Quantum Information in Quantum Field Theories and Holography: Dynamics and Complexity.

    Call: SONATA BIS 9 , Panel: ST2

    Principal investigator: dr Paweł Caputa

    Uniwersytet Warszawski, Wydział Fizyki

  13. Impact of input data alteration and modification of the algorithm parameters on the efficiency of quantum programs

    Call: OPUS 17 , Panel: ST6

    Principal investigator: dr hab. Jarosław Miszczak

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

  14. Abstract Machines for Programming Languages: Investigations in Formal Interderivations

    Call: OPUS 17 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  15. Quantum behavior of point defects and their complexes in III-V nitrides for nanophotonics and quantum information proces...

    Call: SONATINA 3 , Panel: ST3

    Principal investigator: dr Kamil Czelej

    Uniwersytet Warszawski, Wydział Fizyki

  16. TIME CRYSTALS

    Call: ETIUDA 7 , Panel: ST2

    Principal investigator: Krzysztof Giergiel

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

  17. Application-ready superresolution in space and frequency

    Call: UNISONO , Panel: ST2

    Principal investigator: dr hab. Łukasz Rudnicki

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

  18. Quantum information and communication with high-dimensional encoding

    Call: UNISONO , Panel: ST2

    Principal investigator: dr Michał Karpiński

    Uniwersytet Warszawski, Wydział Fizyki

  19. Continuously Monitored Quantum Sensors: Smart Tools and Applications

    Call: UNISONO , Panel: ST2

    Principal investigator: dr Jan Kołodyński

    Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

  20. Algebraic effects: composition and coinduction

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Maciej Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  21. Algorithmic models of prediction: formal properties and philosophical implications

    Call: OPUS 16 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  22. ComCrypt -- Efficient and Secure Algorithms for Joint Compression and Encryption

    Call: OPUS 16 , Panel: ST6

    Principal investigator: prof. Józef Pieprzyk

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

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

  24. Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

    Call: OPUS 16 , Panel: ST6

    Principal investigator: dr hab. Lidia Tendera

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  25. Optimality program in graph homomorphism problems

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

  26. Infinity in reasoning about data and knowledge

    Call: SONATA BIS 8 , Panel: ST6

    Principal investigator: dr hab. Filip Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  27. Information hidding and privacy in (mainly) distributed systems

    Call: OPUS 15 , Panel: ST6

    Principal investigator: prof. Marek Klonowski

    Politechnika Wrocławska

  28. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  29. Methods and tools of future document engineering - MENAID

    Call: OPUS 1 , Panel: ST6

    Principal investigator: prof. Bogdan Wiszniewski

    Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

  30. Deep Neural Architectures for Automated Theorem Proving

    Call: PRELUDIUM 15 , Panel: ST6

    Principal investigator: Bartosz Piotrowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  31. Zastosowanie algorytmiki w kontekście wybranych zagadnień społecznych i ekonomicznych.

    Call: ETIUDA 6 , Panel: ST6

    Principal investigator: Krzysztof Sornat

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  32. Programowanie dynamiczne z gwarancjami

    Call: ETIUDA 6 , Panel: ST6

    Principal investigator: Karol Węgrzycki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  33. Effective computations in predicative mathematics

    Call: SONATINA 2 , Panel: ST6

    Principal investigator: dr Michał Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  34. Wykorzystanie uczenia maszynowego w informatyce kwantowej

    Call: ETIUDA 6 , Panel: ST6

    Principal investigator: Mateusz Ostaszewski

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

  35. Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym

    Call: ETIUDA 6 , Panel: ST6

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  36. Efficient algorithms and conditional lower bounds for problems on trees

    Call: PRELUDIUM 14 , Panel: ST6

    Principal investigator: Bartłomiej Dudek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  37. The usage of social network sites in local contexts. Comparative study.

    Call: PRELUDIUM 1 , Panel: HS3

    Principal investigator: dr Piotr Cichocki

    Uniwersytet Warszawski, Wydział Historyczny

  38. Automatic analysis of concurrent systems

    Call: OPUS 14 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  39. Studies of topological properties of strongly correlated electron systems regarding their application in quantum informa...

    Call: OPUS 1 , Panel: ST3

    Principal investigator: prof. Arkadiusz Wójs

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

  40. Parametric sonographic imaging - application of synthetic aperture technique to imaging attenuation of ultrasound in tis...

    Call: OPUS 1 , Panel: ST7

    Principal investigator: dr hab. Jerzy Litniewski

    Instytut Podstawowych Problemów Techniki PAN

  41. Quantitative specifications: learning, algorithms and applications

    Call: OPUS 14 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  42. Around optimality of dynamic programming algorithms

    Call: PRELUDIUM 14 , Panel: ST6

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  43. Understanding recursion

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Lorenzo Clemente

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  44. Robust optimization algorithms for problems with uncertain data

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Maciej Drwal

    Politechnika Wrocławska

  45. Dynamic graphs; connectivity, flows and coloring.

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Anna Zych-Pawlewicz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  46. Aspects of grammar compression

    Call: SONATA BIS 7 , Panel: ST6

    Principal investigator: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  47. Analysis of the usage of machine learning in spatial audio processing

    Call: OPUS 13 , Panel: ST7

    Principal investigator: dr hab. Konrad Kowalczyk

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

  48. Efficiency, robustness and security of distributed systems with more realistic adversarial models.

    Call: OPUS 13 , Panel: ST6

    Principal investigator: prof. Marek Klonowski

    Politechnika Wrocławska

  49. Mobile robot navigation using semantic information

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Barbara Siemiątkowska

    Politechnika Warszawska, Wydział Mechatroniki

  50. Discrete optimization problems under uncertainty - models and algorithms

    Call: OPUS 13 , Panel: ST6

    Principal investigator: prof. Paweł Zieliński

    Politechnika Wrocławska