Projects funded by the NCN

Reasoning about programs in higher-order languages

Call: OPUS 8 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

A new notion of finiteness in computation theory

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Types of quantum correlations. New applications of quantum mechanics in computation techniques

Call: PRELUDIUM 2 , Panel: ST2

Principal investigator: Łukasz Skowronek

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

Imaging and computation in scattering media with multi-pixel single photon detectors.

Call: PRELUDIUM 22 , Panel: ST7

Principal investigator: Adrian Makowski

Uniwersytet Warszawski, Wydział Fizyki

Polynomial finite state computation

Call: MAESTRO 14 , Panel: ST6

Principal investigator: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

CARAMEL: CaptuRing polARitonic quantuM corrELations

Call: SONATINA 5 , Panel: ST2

Principal investigator: dr Juan Camilo López Carreño

Uniwersytet Warszawski, Wydział Fizyki

Linguistic workshop for speech analysis and recognition

Call: SONATA 2 , Panel: ST6

Principal investigator: dr Bartosz Ziółko

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

Data-enriched models of computation

Call: OPUS 18 , Panel: ST6

Principal investigator: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Investigation of the hybrid structures hosting Majorana Bound States.

Call: PRELUDIUM 16 , Panel: ST3

Principal investigator: dr Aksel Kobiałka

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

Inter quantum dots near-field mediated energy/charge transfers - introduction to quantum neural networks and computation...

Call: SONATA BIS 8 , Panel: ST3

Principal investigator: dr Bartłomiej Cichy

Instytut Niskich Temperatur i Badań Strukturalnych im. Włodzimierza Trzebiatowskiego Polskiej Akademii Nauk

Long-range quantum bus for electron spin qubits in silicon

Call: UNISONO , Panel: ST3

Principal investigator: dr hab. Łukasz Cywiński

Instytut Fizyki Polskiej Akademii Nauk

Quantum correlations in fermionic many-body systems and its applications in quantum computation and quantum interferomet...

Call: SONATA 12 , Panel: ST2

Principal investigator: dr Piotr Ćwikliński

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Classical and quantum computation of strongly correlated systems

Call: OPUS 12 , Panel: ST3

Principal investigator: prof. Jacek Dziarmaga

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

Symbolic computations on first-order definable objects

Call: OPUS 11 , Panel: ST6

Principal investigator: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Quantum higher-dimensional system: from simpler description to more advanced experiments

Call: OPUS 10 , Panel: ST2

Principal investigator: dr hab. Marcin Wieśniak

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Optimality, universality and controllability in quantum computation theory

Call: SONATA BIS 5 , Panel: ST1

Principal investigator: dr Adam Sawicki

Centrum Fizyki Teoretycznej PAN