Excelentní grantové projekty JUNIOR STAR na Ústavu informatiky v roce 2026

V letošním roce se na Ústavu informatiky sejdou tři vynikající mladí vědci v oboru teoretické informatiky - Wesley Fussner, Samuel Braunfeld a Adam Přenosil. Grantovou podporu v rámci projektů JUNIOR STAR využijí k budování vlastních vědeckých týmů a rozvoji špičkové teoretické informatiky.

[ [list] ]

Projekty JUNIOR STAR jsou Grantovou agenturou ČR (GAČR) udělovány ve vysoce selektivní soutěži určené pro excelentní vědce na začátku kariéry, kteří přicházejí do ČR ze zahraničí nebo mají významnou mezinárodní zkušenost. Finanční podpora jim umožňuje vybudovat nový vědecký tým a zaměřit se na nové oblasti výzkumu.

Wesley Fussner

Wesley Fussner působí jako vědecký pracovník (tenure-track) v Ústavu informatiky Akademie věd ČR. Titul Ph.D. v oboru matematika získal na University of Denver a absolvoval postdoktorské stáže ve Francouzském národním centru pro vědecký výzkum (CNRS) a na Univerzitě v Bernu. Jeho výzkum se zaměřuje na pochopení vlastností logiky a usuzování v různých oblastech filosofie a vědy prostřednictvím aplikace matematických nástrojů.

Na začátku roku 2025 získal Dr. Fussner podporu Grantové agentury ČR pro projekt JUNIOR STAR s názvem "Interpolace, amalgamace a výpočty". Projekt usiluje o rozvoj systematické teorie interpolace v neklasických logikách s cílem vytvořit matematickou teorii vysvětlitelného uvažování v logických systémech. Jde o historicky první projekt JUNIOR STAR udělený Ústavu informatiky AV ČR.

Samuel Braunfeld

V lednu 2026 přesune Samuel Braunfeld svůj projekt JUNIOR STAR na Ústav informatiky AV ČR. Doktorát z matematiky získal na Rutgers University a před příchodem na Ústav informatiky působil na postdoktorských pozicích na University of Maryland a Univerzitě Karlově.

GA ČR projekt Samuela Braunfelda "Teorie modelů, strukturální kombinatorika a algoritmy" využívá matematickou logiku k analýze složitosti nekonečných objektů a zkoumá, jak se tato složitost odráží v objektech konečných. Jednou ze zamýšlených aplikací je pochopení toho, kdy lze efektivně spouštět algoritmy na rozsáhlých sítích.

Adam Přenosil

Adam Přenosil získal titul Ph.D. v oboru logika na Univerzitě Karlově. Během doktorského studia byl členem logické skupiny v Ústavu informatiky. Působil na postdoktorských pozicích na Vanderbilt University, Università di Cagliari a Universitat de Barcelona. Ve svém výzkumu se věnuje algebraickému studiu neklasických logik - tedy logických systémů, které se snaží poskytnout jemnější modely uvažování, než klasická dvouhodnotová logika.

Adam Přenosil získal podporu GAČR pro projekt "Algebraizace predikátových logik", jehož cílem je vyvinout nové algebraické nástroje pro studium neklasických logik prvního řádu, a tím rozšířit stávající teorii výrokových logik na úroveň logiky predikátové. Tyto nástroje umožní hlubší pochopení základních vlastností významných neklasických logických systémů, jako je deduktivní interpolace a Bethova věta o explicitní definovatelnosti.