Projects funded by the NCN

Thermodynamics of Information Processing: From Theory to Applications

Call: SONATA 19 , Panel: ST2

Principal investigator: dr Patryk Jan Lipka-Bartosik

Uniwersytet Jagielloński

Densitals, Ditopology, and Double Drachmanization: New Concepts and Formalisms for Computation and Analysis of the Two-E...

Call: OPUS 24 , Panel: ST4

Principal investigator: prof. Jerzy Ryszard Ciosłowski

Uniwersytet Szczeciński, Instytut Fizyki

Polynomial finite state computation

Call: MAESTRO 14 , Panel: ST6

Principal investigator: prof. Mikołaj Bojańczyk

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

Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

Call: OPUS 14 , Panel: ST1

Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

The existence and an algorithm for the computation of equilibrium in a simple exchange model. The multivalued case

Call: OPUS 5 , Panel: HS4

Principal investigator: dr Piotr Edward Maćkowiak

Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej

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