JUNIOR STAR projects are awarded by the Czech Science Foundation (GACR) in a highly selective competition intended for excellent scientists at the beginning of their careers who come to the Czech republic from abroad or have significant international experience. Through its financial support, it allows them to build a new scientific team and focus on new areas of research.

Wesley Fussner

Wesley Fussner is a tenure-track research scientist at the Institute of Computer Science of the Czech Academy of Sciences. He received his Ph.D. in Mathematics from the University of Denver, and has held postdoctoral appointments at the French national Center for Scientific Research and the University of Bern. His research focuses on understanding properties of logic and reasoning from different domains of philosophy and science through applying mathematical tools.

Beginning in 2025, Dr. Fussner received support from GACR for the JUNIOR STAR project "Interpolation, Amalgamation, and Computation". The project works toward the development of a sytematic theory of interpolation in non-classical logics, aiming for a mathematical theory of explainable reasoning in logical systems. "Interpolation, Amalgamation, and Computation" is the first JUNIOR STAR project ever awarded at the Institute of Computer Science of the Czech Academy of Sciences.

Samuel Braunfeld

In January 2026, Samuel Braunfeld will be moving his JUNIOR STAR project to the Institute of Computer Science. He received his Ph.D. in mathematics from Rutgers University, and held postdoctoral positions at the University of Maryland and Charles University before joining the Institute of Computer Science.

Samuel Braunfeld's GACR project "Model theory, structural combinatorics, and algorithms" aims to use mathematical logic to analyze the complexity of infinite objects, and to see how that complexity is reflected in finite objects. One intended application is an understanding of when algorithms can be run efficiently on large networks.

Adam Přenosil

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 Cagliary, 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 algebraic 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.