Ivan Varzinczak is an Associate Professor in Computer Science at Université Paris 8, France. He holds a PhD in artificial intelligence from Université Paul Sabatier (2006) and a habilitation from Université d'Artois (2019), France. His main research interest is in logic-based approaches to knowledge representation and the formalisation of reasoning in AI. He has had several visiting researcher appointments and taught courses and tutorials worldwide.