Ivan José Varzinczak (Contenda/PR, 1978) é doutor em Inteligência Artificial pela Université Paul Sabatier, França, tendo defendido sua tese em 2006. Ex-membro do IRIT, França, atualmente faz pós-doutoramento no CAIR (Centre for Artificial Intelligence Research) na África do Sul. Defendeu sua dissertação de mestrado (2002) e obteve seu bacharelado (2000), ambos em informática, pela Universidade Federal do Paraná.
Ivan é autor de artigos em revistas (JAIR, Artificial Intelligence, JANCL, Logica Universalis), de artigos em conferências (IJCAI, KR, ECAI, AI, JELIA, AiML) e artigos em workshops renomados (NMR, Commonsense, NRAC, M4M, DL). Ele é editor convidado do número especial do Journal of Web Semantics sobre Reasoning with Context in the Semantic Web, e co-organizador da série de workshops ARCOE. Ivan é também membro da comissão de programa do KR’12 e serviu na comissão de programa do IJCAI’11, AAAI’11, ECAI’10 e de outras conferências e workshops.
Sua área de pesquisa abrange abordagens lógicas para representação do conhecimento e raciocínio em inteligência artificial, com ênfase em raciocínio não-monotônico, lógicas modal e descritiva. Durante sua tese, Ivan atuou em raciocínio sobre ações e causalidade. Entre seus tópicos atuais de pesquisa situam-se revisão de crenças em lógicas não-clássicas, raciocínio preferencial e engenharia de ontologias.
Curriculum Vitae