Washington Luís Ribeiro de Carvalho Segundo

Washington Segundo

Possui graduação em Matemática (Bacharelado e Licenciatura) pela Universidade de Brasília (2008) . É Mestre e Doutorando em Informática pela Universidade de Brasília e Coordenador do Laboratório de Metodologias de Tratamento e Disseminação da Informação (COLAB) no Instituto Brasileiro de Informação em Ciência e Tecnologia (IBICT / MCTIC). Áreas de interesse em pesquisa: Teoria da Computação, Lógica, Sistemas Algébricos, Verificação Formal, Assistentes de Prova, Lógica Nominal, Unificação, Repositórios Digitais e Sistemas Agregadores de Acesso Aberto.