Ivan Varzinczak is a professor of computer science at Université d’Artois, France. He holds a PhD (2006) in artificial intelligence from Université Paul Sabatier, France, an MSc (2002) and a BSc (2000) both in computer science from the Federal University of Paraná, Brazil. Before joining Université d’Artois, Ivan was a postdoctoral researcher at the CSIR Meraka Institute in South Africa and a professor at the Federal University of Rio de Janeiro, Brazil. In 2019 he defended his habilitation at Université d’Artois.
Ivan’s main research interest area is logic-based knowledge representation and reasoning in artificial intelligence, with focus on modal and description logics and their applications in defeasible reasoning, reasoning about actions and change, and the semantic web. He has co-authored more than 70 peer-reviewed publications ranging from articles in journals (Artificial Intelligence, JAIR, ToCL, AMAI, JoLLI, JANCL, Logica Universalis), full papers in international conference proceedings (IJCAI, KR, AAAI, ECAI, JELIA, AiML, TABLEAUX, ISWC, FoIKS, AI, RR, TARK), and papers in international workshops (DL, NMR, M4M, Commonsense, NRAC).
Ivan is an associate editor of Artificial Intelligence and of the Journal of Artificial Intelligence Research, and a member of the steering committee of NMR. He is a program co-chair of both RW 2021 and FoIKS 2022 and has been a co-chair of NMR 2020. He has been a guest editor of the Special Issue of the International Journal of Approximate Reasoning (IJAR) on Defeasible and Ampliative Reasoning, and is one of the founding members and co-chair of both the ARCOE and DARe workshop series. Ivan has been a co-chair for the Workshop and Tutorial Program of KR 2018 and was the Publicity and Sponsorship Chair for KR 2016. He is a senior PC member of IJCAI 2021 and has been a PC member of IJCAI, KR, AAAI, ECAI, JELIA and other international conferences and workshops on several occasions.
Ivan has co-supervised 1 PhD student and 3 MSc students to completion and is currently co-supervising 3 PhD students. He has been on the doctoral committees of 6 PhD students.
Ivan is the recipient of the first Louis Couturat Logic Prize and of the first Universal Logic Prize (2018).