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

Petr Cintula is a senior researcher at the Institute of Computer Science at the Czech Academy of Sciences, where he has been working since 2001 and has served as director since 2022. He has also held visiting positions at the Vienna University of Technology, the University of Bern, and the University of Cagliari.

He earned a PhD in Mathematical Engineering from the Czech Technical University (2005), a habilitation (Privatdozent) in Computational Logic from the Vienna University of Technology (2013), and a habilitation (Docent) in Applied Mathematics from the Czech Technical University (2014). In 2023, he was awarded the title of Research Professor (DSc) in Mathematical Structures by the Czech Academy of Sciences.

His research focuses on mathematical logic and its applications to reasoning under uncertainty and vagueness. His main contributions lie in the fields of (abstract) algebraic logic, mathematical fuzzy logic, and substructural logics. He has authored over 70 scientific publications, including the monograph Logic and Implication (Springer, 2021). Additionally, he was an editor of the three-volume Handbook of Mathematical Fuzzy Logic (College Publications, 2011, 2015). He has led or co-led fourteen research projects, including a Horizon 2020 project within the Marie Skłodowska-Curie RISE framework, as well as major grants from the Czech Science Foundation (GACR) and the Austrian Science Fund (FWF).

In addition to his research, he has served as an editor for Archive for Mathematical Logic and Fuzzy Sets and Systems. He is also a co-founder and co-chair of the steering committee of the international conference series Logic, Algebra, and Truth Degrees. He continues to teach advanced logic courses at the Czech Technical University, Charles University in Prague, and the Vienna University of Technology.