People

Principal Investigator LogiCIC Project: 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.

PhD researcher LogiCIC Project: Zoé Christoff

Zoé Christoff is currently an assistant professor at the University of Groningen, she started her career as a PhD Researcher on The Logical Structure of Correlated Information Change Project (LogiCIC) at the Institute for Logic, Language and Computation (ILLC), University of Amsterdam, under the supervision of Sonja Smets and Johan van Benthem.

Earlier, she worked as a Teaching Assistant in Logic in the Philosophy Department of the University of Geneva where she obtained MA in Philosophy under the supervision of Pascal Engel, Fabrice Correia and Kevin Mulligan. Aside from logic and philosophy, she studied French literature and Latin.

Her main research interests lie at the interface between (dynamic) logic and epistemology but she is also interested in game theory, modal logics, self-reference problems, foundations of mathematics and limitative results in logic.

PhD researcher LogiCIC Project: Paolo Galeazzi

Paolo Galeazzi is currently a postdoctoral researcher, before that he was a PhD researcher within The Logical Structure of Correlated Information Change Project (LogiCIC) at the Institute for Logic, Language and Computation (ILLC), University of Amsterdam, under the supervision of Sonja Smets and Alexandru Baltag.


He obtained his Bachelor’s degree in Philosophy at the University of Milan with a thesis on evolutionary game theory and problems of coordination and his Master’s degree in Logic at the University of Florence with a thesis on epistemic game theory an the backward induction problem.


The main focus of his research is epistemic game theory and in general the study of structures for epistemology in game theory. He is also interested in modal logic, probabilistic logic, quantum physics and quantum computation, decision theory, philosophy of science and philosophy of language.

Post-Doctoral Researcher at the LogiCIC Team in October 2016: Fernando R. Velázquez Quesada

Fernando R. Velázquez Quesada is currently an associate professor at the University of Bergen. He joined the LogiCIC team as postdoctoral researcher from October 2016 till December 2016. He has a BSc in computer science from the University of Puebla, a MSc also in computer science from the National Autonomous University of México, and a PhD from the University of Amsterdam. He also spent five years as a posdoc at the Faculty of Philosophy of the University of Seville. He is mainly interested in formal representations of dynamics of information, broadly speaking, and his research areas include formal and social epistemology, modal logic, epistemic logic, dynamic epistemic logic, belief revision and multi-agent systems.


Post-Doctoral Researcher joins the LogiCIC Team in September 2014: Soroush Rafiee Rad


Soroush Rafiee Rad joined the LogiCIC team from September 2014 till December 2016. He completed his undergraduate studies in Mathematics at the Sharif University of Technology in 2003 and joined the University of Manchester in 2005. He was awarded a Marie curie Mathlogapp fellowship in 2006 for graduate studies in Mathematical Logic and received his Ph.D. in 2009. In 2010, he joined the TiLPS research group in Tilburg University and is currently finishing his second Ph.D. in Philosophy under the supervision of Prof. Stephan Hartmann. In 2012 and 2013 he has been a visiting researcher at the London School of Economics, CUNY Graduate Centre, the University of Amsterdam and the University of Kent.

Post-doctoral researcher on the LogiCIC Project: Nina Gierasimczuk

Nina Gierasimczuk is currently an associate professor at DTU, Copenhagen. Before she was a Post-Doc researcher within The Logical Structure of Correlated Information Change Project (LogiCIC) at the Institute for Logic, Language and Computation (ILLC), University of Amsterdam. She also worked as a Post-Doc researcher within the Reasoning about Quantum Interaction Project at the Institute of Artificial Intelligence and Cognitive Engineering (ALICE), University of Groningen and also as a Post-Doc in The Curious Minds Project (Talentenkracht) at the University of Amsterdam.

She obtained her PhD in 2010 from the ILLC, UvA, under the supervision of Johan van Benthem and Dick de Jongh. In her dissertation, titled "Knowing One's Limits. Logical Analysis of Inductive Inference" she explores the connections between formal learning theory and dynamic epistemic logic. Nina got her MA at the Institute of Philosophy at the Warsaw University, where she studied under the supervision of Marcin Mostowski. Except for philosophy she studied psychology, mathematics and history of art within the College MISH.


Her current research interests focus on formal learning theory, dynamic epistemic logic and belief revision..