doc. Ing. Petr Cintula, Ph.D., DSc.

Petr Cintula je vedoucí vědecký pracovník Ústavu informatiky Akademie věd České republiky, kde působí od roku 2001 a od roku 2022 zastává funkci ředitele. Působil také na hostujících pozicích na Vídeňské technické univerzitě, Univerzitě v Bernu a Univerzitě v Cagliari.

Petr Cintula získal titul PhD. v oboru matematické inženýrství na Českém vysokém učení technickém (2005), habilitaci (Privatdozent) v oboru výpočetní logika na Vídeňské technické univerzitě (2013) a habilitaci (docent) v oboru aplikovaná matematika na Českém vysokém učení technickém (2014).V roce 2023 mu byl Akademií věd České republiky udělen titul doktora věd (DSc) v oboru matematické struktury.

Jeho výzkum se zaměřuje na matematickou logiku a její aplikace na usuzování za nejistoty a vágnosti. Jeho hlavní přínosy spočívají v oblastech (abstraktní) algebraické logiky, matematické fuzzy logiky a substrukturálních logik. Je autorem více než 70 vědeckých publikací, včetně monografie Logic and Implication (Springer, 2021). Dále byl editorem třísvazkového Handbook of Mathematical Fuzzy Logic (College Publications, 2011, 2015). Byl hlavním (spolu)řešitelem čtrnácti výzkumných projektů, včetně projektu Horizon 2020 v rámci programu Marie Skłodowska-Curie RISE, a také významných grantů od Grantové agentury České republiky (GAČR) nebo Rakouského vědeckého fondu (FWF).

Kromě svého výzkumu působil jako editor časopisů Archive for Mathematical Logic a Fuzzy Sets and Systems. Je také spoluzakladatelem a spolupředsedou řídícího výboru mezinárodní konferenční série Logic, Algebra, and Truth Degrees. Nadále vyučuje pokročilé kurzy logiky na Českém vysokém učení technickém, Univerzitě Karlově v Praze a Vídeňské technické univerzitě.