Ivan Varzinczak is a professor in computer science at Université Sorbonne Paris Nord, 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é Sorbonne Paris Nord, Ivan was an associate professor at Université Paris 8. He defended his habilitation on Defeasible Description Logics at Université d’Artois in 2019.
Ivan’s primary research area is knowledge representation and reasoning in artificial intelligence. He focuses on logic-based specification languages, the formalisation of different types of human reasoning and the design of algorithms for their implementation and verification. Ivan has co-authored more than 75 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, RuleML, KSEM, AI, RR, TARK) and papers in international workshops (DL, NMR, M4M, Commonsense, NRAC).
Ivan is an associate editor of Artificial Intelligence (AIJ), the Journal of Artificial Intelligence Research (JAIR), and the Logics journal, and he is also the current chairman of NMR. He was recently the program chair of FoIKS 2022 and has been a co-chair of both RW 2021 and 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. He 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 Recently-Published Research Track of KR 2022, 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 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 4 PhD students and 3 MSc students to completion. He has been on the doctoral committees of 8 PhD students.
Ivan is the recipient of the first Louis Couturat Logic Prize and of the first Universal Logic Prize (2018).
