Professor Titular da Universidade Federal do Paraná. Suas principais áreas de atuação são (1) Inteligência Artificial, notadamente em representação do conhecimento em lógica e (2) Software Livre, notadamente em projetos de inclusão digital para atendimento de políticas públicas. Foi membro da COSIT - Comissão dos Sistemas de Informação e Telecomunicações do Estado do Paraná. É Bacharel em Matemática pela Universidade Estadual Paulista Júlio de Mesquita Filho (1988), mestre em Ciências da Computação pela Universidade Federal de Minas Gerais (1991) e doutor em Informática pela Université de Toulouse III (Paul Sabatier) (1998).
graduate at Bacharelado Em Matemática from Universidade Estadual Paulista Júlio de Mesquita Filho (1988), master's at Computer Science from Universidade Federal de Minas Gerais (1991) and ph.d. at Doctotat En Informatique from Universite de Toulouse III (Paul Sabatier) (1998). Has experience in Computer Science, acting on the following subjects: inteligência artificial, software livre, planejamento, planning and reasoning about actions.