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) and of the Journal of Artificial Intelligence Research (JAIR), and is currently a guest co-editor of the FoIKS’22 special issue of Annals of Mathematics and Artificial Intelligence (AMAI). He 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 9 PhD students.
Ivan is the recipient of the first Louis Couturat Logic Prize and of the first Universal Logic Prize (2018).
