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

22 projects found matching your search criteria :

  1. Scalable reasoning about concurrent imperative programs

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. Automated Discovery and Exploitation of Domain Knowledge for Prioritizing Search in the Problem of Automatic Program Syn...

    Call: PRELUDIUM 15 , Panel: ST6

    Principal investigator: Iwo Błądek

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

  3. Optimality program in graph homomorphism problems

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

  4. Optimality in parameterized complexity

    Call: SONATA 6 , Panel: ST6

    Principal investigator: dr Michał Pilipczuk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  5. The protection of computer programs in intellectual property law in the European Union

    Call: PRELUDIUM 1 , Panel: HS5

    Principal investigator: dr Karolina Sztobryn

    UNIWERSYTET ŁÓDZKI

  6. Reasoning about programs in higher-order languages

    Call: OPUS 8 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  7. New architectures and algorithms for neurosymbolic deep learning

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Piotr Wyrwiński

    Politechnika Poznańska

  8. Geometry of contractible low-dimensional affine varieties.

    Call: SONATA 3 , Panel: ST1

    Principal investigator: dr Karol Palka

    Instytut Matematyczny PAN

  9. Modern methods in complex affine geometry.

    Call: SONATA BIS 5 , Panel: ST1

    Principal investigator: dr Karol Palka

    Instytut Matematyczny Polskiej Akademii Nauk

  10. Copyright protection of computer programs in the European Union after three decades

    Call: SONATA 19 , Panel: HS5

    Principal investigator: dr Bohdan Widła

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

  11. Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr Małgorzata Biernacka

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  12. LP rounding approximation algorithms

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Bartosz Rybicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  14. 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 Adam Miszczak

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

  15. The culture of the amateur programming of home computers in the 1980s in the context of cognitive capitalism

    Call: OPUS 19 , Panel: HS3

    Principal investigator: dr Patryk Wasiak

    Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk

  16. Specification development and software verification

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Andrzej Tarlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  17. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  18. New methods in parametric model checking

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Michał Knapik

    Instytut Podstaw Informatyki PAN

  19. Scalable metaheuristics for automated program synthesis

    Call: OPUS 8 , Panel: ST6

    Principal investigator: dr hab. Krzysztof Krawiec

    Politechnika Poznańska, Wydział Informatyki

  20. Development of enhanced theory, numerical methods and computer programs for simulation of hydraulic fractures and accomp...

    Call: OPUS 10 , Panel: ST8

    Principal investigator: prof. Aleksandr Linkov

    Politechnika Rzeszowska im. Ignacego Łukasiewicza, Wydział Matematyki i Fizyki Stosowanej

  21. Effective methods in affine and birational geometry

    Call: OPUS 21 , Panel: ST1

    Principal investigator: dr hab. Karol Andrzej Palka

    Instytut Matematyczny Polskiej Akademii Nauk

  22. Source-code-representations for machine-learning-based identification of defective code fragments

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Mirosław Ochodek

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy