Great Ocean road, AustraliaIvan José Varzinczak is a professor of theoretical computer science at the Federal University of Rio de Janeiro (UFRJ), Brazil. 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 UFRJ, Ivan was a postdoctoral researcher at the Council for Scientific and Industrial Research in South Africa.
Ivan has co-authored more than 40 peer-reviewed publications ranging from articles in journals (JAIR, Artificial Intelligence, JANCL, Logica Universalis), full papers in international conference proceedings (IJCAI, KR, ECAI, AI, JELIA, AiML, TARK), and papers in international workshops (NMR, Commonsense, NRAC, M4M, DL). He has been a guest editor of the Special Issue of the Journal of Web Semantics on Reasoning with Context in the Semantic Web. Moreover, Ivan is one of the founding members and co-chair of both the ARCOE workshop series and the DARE 2014 workshop, and a co-organizer of the 2014 edition of WoMO. He is also in the guest editorial board of the special issue of the Semantic Web Journal on Web Reasoning and Rule Systems, and has been a PC member of IJCAI, KR, AAAI, ECAI and other international conferences and workshops on several occasions.
Ivan’s main research interest area is logic-based knowledge representation and reasoning, with focus on modal and description logics and their applications in non-monotonic reasoning, reasoning about actions and change, and the semantic web. His main current research topics are non-monotonic reasoning in more expressive languages, non-classical belief change, and ontology repair and maintenance.