Projects funded by the NCN

Scalable reasoning about concurrent imperative programs

Call: SONATA 12 , Panel: ST6

Principal investigator: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Optimality program in graph homomorphism problems

Call: SONATA 14 , Panel: ST6

Principal investigator: dr Paweł Rzążewski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Reasoning about programs in higher-order languages

Call: OPUS 8 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Efficient higher-order quantum computations

Call: SONATA BIS 14 , Panel: ST2

Principal investigator: dr hab. Michał Studziński

Uniwersytet Gdański

LP rounding approximation algorithms

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: Bartosz Rybicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

Specification development and software verification

Call: OPUS 6 , Panel: ST6

Principal investigator: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatisation of constructive logic

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Aleksy Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

New methods in parametric model checking

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: Michał Knapik

Instytut Podstaw Informatyki PAN