home
Ivan José Varzinczak (Brasil, 1978) recibió su grado de doctor en Inteligencia Artificial de la Universidad Paul Sabatier, Francia, en 2006. Ex-miembro del equipo de investigación LILaC en IRIT, ahora és investigador colaborador del Instituto Meraka de Pretoria, Sudáfrica. Él obtuvo su grado de maestro en informática (2002) y su diploma de licenciado en informática (2000) de la Universidad Federal del Paraná, Brasil.
Ivan és autor de artículos en periódicos (JAIR, AI Journal, JANCL) y artículos en conferencias (IJCAI, KR, ECAI, JELIA, AiML) y en workshops (NMR, Commonsense, NRAC, M4M). És miembro de la comisión de programa de ECAI’10 y también co-organizador de la serie de workshop ARCOE de IJCAI’09 y de ECAI’10, y del Commonsense and NMR for Ontologies sub-workshop de NMR’10.
Su tema de investigación consiste de aplicaciones de la lógica en la representación del conocimiento y en el razonamiento, con especial atención en razonamiento no-monotónico, lógica modal y lógica de descripción. En particular, Ivan trabaja en revisión de creencias y raciocinio sobre acciones. De entre sus tópicos de investigación actual están las lógicas de pertinencia, la revisión de cláusulas de Horn, revisión de teorías de acción y ingeniería de ontologías.
En trabajo o en vacaciones, Ivan tuvo la oportunidad de conocer cerca de 40 paises en los cinco continentes. Él pretende un día publicar sus diarios de viaje contando un poco de su experiencia que va más lejos que el simple turismo.
Curriculum Vitae