Marie Skłodowska-Curie Actions (MSCA) je že od leta 1996 eden od glavnih instrumentov Evropske unije za spodbujanje znanstvene odličnosti v okviru mednarodne in medsektorske mobilnosti pri doktorskem izobraževanju in podoktorskem raziskovanju.

Akcija izmenjave osebja financira kratkoročne mednarodne in medsektorske izmenjave osebja, ki sodeluje pri raziskovalnih in inovacijskih dejavnostih sodelujočih organizacij. Cilj je razviti trajnostne skupne projekte med različnimi organizacijami iz akademskega in neakademskega sektorja (zlasti malih in srednje velikih podjetij) s sedežem v Evropi in drugod. Izmenjano osebje ima koristi od novega znanja, spretnosti in perspektiv za razvoj kariere, sodelujoče organizacije pa povečujejo svoje raziskovalne in inovacijske zmogljivosti.

Na razpisu - prijavo je vodil glavni koordinator Dr. Arno Pauly s Swansea University, Združeno Kraljestvo - je uspešno sodelovalo sedem partnerskih ustanov iz Evropske unije in devet mednarododnih ustanov. Slovenski del projekta vodi prof. dr. Andrej Bauer.

Naslov projekta: New Frontiers for Computability

Akronim: NFFC

Trajanje projekta: 01.01.2026 - 31.12.2029

Kratka predstavitev: Nedavni napredki v teoriji izračunljivosti so odprli nove poti za uporabo izračunljivosti pri dokazovanju izrekov na drugih področjih matematike. Med primeri sta dolgo odprto vprašanje v teoriji topološke dimenzije, ki sta ga Kihara in Pauly rešila z metodami teorije izračunljivosti, ter nov dokaz 2-dimenzionalne Kakeyjeve domneve, ki sta ga podala Lutz in Lutz. Z združevanjem pravih strokovnjakov bomo te poti še poglobili in poiskali dodatne takšne uporabe.

Vzporedno se bomo posvetili tudi implementaciji algoritmov, ki delujejo na zveznih podatkovnih tipih. Tudi ta smer ponuja obetavne možnosti na različnih matematičnih področjih. Na primer, orodja, ki lahko izračunajo Blochovo konstanto ali rešitev Lebesguejevega problema o univerzalnem pokritju, so že v našem dosegu, pri čemer sta obe števili trenutno znani le do prve decimalke. Razvita orodja imajo tudi uporabe zunaj matematike, na primer pri verifikaciji hibridnih sistemov.

Obe poti do uporab temeljita na skupni teoretski osnovi, ki jo bomo dodatno razvijali.

Več o projektu izveste tukaj.