Adam Přenosil awarded JUNIOR STAR grant

Starting in January next year, the Czech Science Foundation (GACR) will support eighteen new JUNIOR STAR projects. One of the grant recipients is Adam Přenosil from the Institute of Computer Science of the Czech Academy of Sciences.

[ [list] ]

This highly selective competition is intended for outstanding scientists at the beginning of their careers who are coming to the Czech Republic from abroad or who have significant international experience. Thanks to financial supprt, it enables them to build a new scientific team and focus on new areas of research.

Adam Přenosil received his Ph.D. degree in Logic from Charles University. Throughout his Ph.D. studies, he was a member of the logic group at the Institute of Computer Science. He has held postdoctoral positions at Vanderbilt University, the University of Cagliari, and the University of Barcelona. His research focuses on the algebraic study of non-classical logics, that is, of logical systems which attempt to provide more nuanced models of reasoning than classical two-valued logic.

Adam Přenosil received support from GACR for the project "Algebraizing first-order logics", which aims to develop new algebraic tools for the study of non-classical first-order logics and thereby extend the existing theory of propositional logics to the first-order level. These tools will then yield a deeper understanding of various fundamental properties of prominent non-classical logical systems, such as deductive interpolation and Beth's explicit definability theorem.