Projects funded by the NCN

From nonuniform disk data to leakage-resilient authentication schemes

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: Michał Zając

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Challenges in semistructural data management

Call: SONATA 6 , Panel: ST6

Principal investigator: dr Filip Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatic reasoning about specifications in simple logics - decidability and complexity issues

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Lidia Tendera

Uniwersytet Opolski

The BDD/FC Conjecture and beyond

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: Tomasz Gogacz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Color image retrieval system based on the multichannel analysis of spatial information.

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Maria Łuszczkiewicz-Piątek

Uniwersytet Łódzki, Wydział Matematyki i Informatyki

New generation of quantum nanostructures with ultra high mobility of electrons and unique spin properties: from technolo...

Call: MAESTRO 3 , Panel: ST3

Principal investigator: prof. Tomasz Wojtowicz

Instytut Fizyki PAN

Technology and characterisation of ultrathin PECVD silicon layers for nanoelectronic structures

Call: OPUS 2 , Panel: ST7

Principal investigator: prof. Romuald Beck

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Identification and analysis of the impact of social and mobile technologies on the shape of the contemporary marketing m...

Call: OPUS 2 , Panel: HS4

Principal investigator: dr Łukasz Łysik

Uniwersytet Ekonomiczny we Wrocławiu, Wydział Zarządzania, Informatyki i Finansów

Isotope-enriched epitaxial boron nitride as an innovative platform for quantum technologies based on spin defects

Call: OPUS 24 , Panel: ST5

Principal investigator: prof. Andrzej Wysmołek

Uniwersytet Warszawski, Wydział Fizyki

Single photon light-emitting diodes based on III-nitrides for quantumtechnologies

Call: OPUS 23 , Panel: ST7

Principal investigator: prof. Czesław Skierbiszewski

Instytut Wysokich Ciśnień Polskiej Akademii Nauk

First Order Logic and Beyond. Some Puzzles in Database Theory.

Call: OPUS 23 , Panel: ST6

Principal investigator: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Interacting networks of liquid light

Call: POLONEZ BIS 2 , Panel: ST3

Principal investigator: dr Helgi Sigurdsson

Uniwersytet Warszawski, Wydział Fizyki

Analysis of thermal processes and degradation mechanisms of long wavelength, 10-16um, quantum cascade lasers. Optimizati...

Call: SONATA BIS 11 , Panel: ST7

Principal investigator: dr Dorota Pierścińska

Sieć Badawcza ŁUKASIEWICZ - Instytut Mikroelektroniki i Fotoniki

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 Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Automatic generation of user's manual for web applications

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: Bartosz Alchimowicz

Politechnika Poznańska, Wydział Informatyki

Simulations of physical systems with near-term annealing technology

Call: SONATA BIS 10 , Panel: ST3

Principal investigator: dr Bartłomiej Gardas

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Space-efficient encodings of combinatorial problems for variational quantum computing

Call: PRELUDIUM 19 , Panel: ST6

Principal investigator: Adam Glos

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Strongly interacting and tightly confined quantum systems: a new quantum technology toolbox

Call: OPUS 19 , Panel: ST2

Principal investigator: dr Krzysztof Jachymski

Uniwersytet Warszawski, Wydział Fizyki

Ultra-accurate spectroscopy of simple molecules for fundamental studies - cryogenic cavity-enhanced spectrometer

Call: OPUS 18 , Panel: ST2

Principal investigator: dr hab. Piotr Wcisło

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

Liquid-crystalline chiral nanomaterials for flexible photonic technologies

Call: OPUS 18 , Panel: ST5

Principal investigator: dr hab. Wiktor Lewandowski

Uniwersytet Warszawski, Wydział Chemii

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

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

Towards Room Temperature Quantum Technologies

Call: UNISONO , Panel: ST2

Principal investigator: prof. Bolesław Kozankiewicz

Instytut Fizyki Polskiej Akademii Nauk

Quantum Technologies For LAttice Gauge theories

Call: UNISONO , Panel: ST2

Principal investigator: prof. Jakub Zakrzewski

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

Paramagnetic nanographenes for fundamental studies and new technologies

Call: OPUS 13 , Panel: ST5

Principal investigator: prof. Piotr Kaszyński

Uniwersytet Łódzki, Wydział Chemii

Limits of Databases

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Szymon Toruńczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

A quest for new computer logics

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Investigations of growth technology of InGaAs/AlGaAs/GaAs quantum cascade lasers structures

Call: PRELUDIUM 9 , Panel: ST7

Principal investigator: dr Piotr Gutowski

Instytut Technologii Elektronowej