Researcher: Carlo Proietti
Carlo Proietti is currently a researcher at the Institute for Computational Linguistics "A. Zampolli" at the National Research Council of Italy (CNR). Earlier, he was employed as a postdoctoral researcher at Institute for Logic, Language and Computation at University of Amsterdam for the EDAPOL project (2018-2020). He completed his undergraduate studies in Philosophy at University of Pisa and the Scuola Normale Superiore (SNS). He has a MSc in Mathematical Logics and Foundations of Informatics at the University of Paris VII. He obtained a PhD in Philosophy from the University of Paris I in 2008. In 2009, he was awarded an International Postdoc by the Swedish Research Council (Vetenskapsrådet),, conducted at the Department of Philosophy of the University of Lund. From 2012 to 2018, he worked as a researcher at the same department with a grant from the Vetenskapsrådet for the project Logical modelling of collective attitudes (awarded in 2012), and a grant for the project Rationality and group behavior from the Riksbankens Jubileumsfond (awarded in 2016). His research interests range over Logic (in particular modal, temporal and non-classical logics), Argumentation Theory (mostly in the area of abstract argumentation) and Formal Epistemology.
Supervisor: Sonja Smets
Sonja Smets is currently a full professor at the Institute for Logic, Language and Computation at the University of Amsterdam. She obtained her PhD at the Free University of Brussels in 2001. She started as a post-doctoral researcher at the Flemish Fund for Scientific Research and became a part-time lecturer at the Free University of Brussels till 2009. In 2005-2006 she was a visiting scholar at the London School of Economics, and in 2008 at both the Institute for Logic, Language and Computation at the University of Amsterdam, and the School of Informatics at Indiana University. In 2009 she worked as an assistant professor with a Rosalind Franklin Research Fellowship at both the Faculty of Philosophy (Dept. Theoretical Philosophy) and the Faculty of Mathematics & Natural Sciences (Multi-agent Systems Group in Artificial Intelligence) at the University of Groningen. In 2009, she received a VIDI award and in 2011 she received and ERC starters grant. She is affiliated to the Research Group on the Philosophy of Information at the University of Oxford, to the Research Group on Philosophy of Information (GPI) at the University of Hertfordshire, and she is a former member of the group in Brussels working on Foundations of Exact Sciences (FUND), the Center Leo Apostel (CLEA) and the Center for Logic and Philosophy of Science (CLWF).
Her research programme ranges over Logic (in particular non-classical logics, including non-monotonic logics, belief revision, modal and temporal logic, quantum logic); Multi-agent Systems; Formal Epistemology; Philosophy of Science, Philosophy of Quantum Physics, Quantum Information and Computation.