**Project leader, Professor Gabriel Sandu**

**Postdoctoral researcher Fausto Barbero**

Fausto Barbero received his doctoral degree in Mathematics in 2014, at the University of Torino, with a thesis on logics of imperfect information. His current research interests mainly concern second-order logic, Independence-Friendly logic and its generalizations, and the connections between these logics, game theory and descriptive complexity.

**Postdoctoral researcher Markus Pantsar**

Markus Pantsar defended his PhD thesis “Truth, Proof and Gödelian Arguments: A Defence of Tarskian Truth in Mathematics” at the University of Helsinki in 2009. Since then he has worked as a postdoctoral researcher at the University of Helsinki and the University of Bucharest, as well as a visiting researcher at the Ludwig-Maximilians-Universität Munich and the University of California Irvine. Pantsar has worked on the philosophy of AI, logic, mathematical truth and the epistemology of mathematics. In recent years his work has focused on interdisciplinary work on arithmetical cognition. In the current project, his main focus is on the cognitive basis of logic.

Personal homepage: www.markuspantsar.fi