Instituto de Computação   Departamento de Teoria da Computação   Produções / Cursos de extensão Participação em cursos e disciplinas de extensão e cursos e disciplinas de especialização   1.   Instituto de Computação - UNICAMP, "Métodos Rigorosos (INF-309)", 10/2004, EXTENSÃO, IC2, duração de 8 semana(s), Campinas, Brasil   2.   Instituto de Computação - UNICAMP, "Criptografia (INF-541)", 06/2004, EXTENSÃO, IC, duração de 8 semana(s), Campinas, Brasil