Adam Přenosil získal JUNIOR STAR grant

Od ledna příštího roku podpoří Grantová agentura ČR (GA ČR) osmnáct nových projektů JUNIOR STAR. Jedním z příjemců grantu je Adam Přenosil z Ústavu informatiky AV ČR.

[ [list] ]

Vysoce výběrová soutěž je určena pro excelentní vědkyně a vědce na začátku kariéry, kteří do České republiky přicházejí ze zahraničí nebo mají významnou zahraniční zkušenost. Díky finanční podpoře jim umožňuje vybudovat nový vědecký tým a zaměřit se na nové oblasti výzkumu.

Adam Přenosil získal titul Ph.D. v oboru logika na Univerzitě Karlově. Během svého doktorského studia byl členem logické skupiny na Ústavu informatiky, jako postdoktorand pak působil na Vanderbiltově univerzitě, Univerzitě v Cagliari a Barcelonské univerzitě. Jeho výzkum se zaměřuje na algebraické studium neklasických logik, tedy logických systémů, které se snaží poskytnout sofistikovanější modely usuzování než klasická dvouhodnotová logika.

Adam Přenosil získal podporu od GA ČR na projekt „Algebraizace predikátových logik“, jehož cílem je vyvinout nové algebraické nástroje pro studium neklasických predikátových logik a tak rozšířit existující teorii výrokových logik na prvořádovou úroveň. Tyto nástroje následně poslouží k hlubšímu porozumění základním vlastnostem důležitých neklasických logik, jako je deduktivní interpolace nebo Bethova věta o explicitní definovatelnosti.