home
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 da equipe LILaC no IRIT, atualmente faz pós-doutorado no Instituto Meraka de Pretória, África do Sul. Defendeu sua dissertação de mestrado (2002) e obteve seu bacharelado (2000) em informática pela Universidade Federal do Paraná (UFPR).
Ivan é autor de artigos em revistas (JAIR, AI Journal, JANCL), de artigos em conferências (IJCAI, KR, ECAI, JELIA, AiML) e em workshops renomados (NMR, NRAC, M4M). É membro da comissão de programa de ECAI’2010 e também co-organizador do IJCAI’09 workshop ARCOE e do Commonsense and NMR for Ontologies sub-workshop de NMR’2010.
Sua área de pesquisa principal abrange abordagens lógicas para representação do conhecimento e raciocínio, com ênfase em raciocínio não-monotônico, lógica modal e lógica descritiva. Durante sua tese, Ivan atuou em raciocínio sobre ações, causalidade e revisão de crenças. Entre seus tópicos atuais de pesquisa situam-se revisão de cláusulas de Horn, revisão de teorias de ações e engenharia de ontologias.
A trabalho ou lazer, Ivan teve a oportunidade de visitar cerca de 40 países nos cinco continentes. Um de seus objetivos é um dia passar a limpo seu diário de bordo narrando um pouco de sua experiência que vai além do mero turismo.
Curriculum Vitae