Ivan Varzinczak is a professor of computer science at Université d’Artois, France. He holds a Ph.D. (2006) in artificial intelligence from Université Paul Sabatier, France, an M.Sc. (2002) and a B.Sc. (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 60 peer-reviewed publications ranging from articles in journals (JAIR, Artificial Intelligence, AMAI, JoLLI, JANCL, Logica Universalis), full papers in international conference proceedings (IJCAI, KR, 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 JAIR, program co-chair of FoIKS 2022, and co-chair of NMR 2020. He is 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 was a senior PC member of IJCAI 2018 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 Ph.D. student and 3 M.Sc. students to completion, and is currently co-supervising 2 Ph.D. students. He has been on the doctoral committees of 6 Ph.D. students.