3 projects found matching your search criteria :
Reasoning about programs in higher-order languages
Call: OPUS 8 , 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
Call: SONATA 12 , Panel: ST2
Principal investigator: dr Piotr Ćwikliński
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki