Dr Washington Luís R. de Carvalho Segundo
Professional Title: IT Specialist/IT Architect
Primary domain: Theory of Computation/Mathematics
Organization name: Instituto Brasileiro de Informação em Ciência e Tecnologia (IBICT)
Organization type: Government/Public Services
City / Country: Brasília - Brazil
PhD studend in Computer Science from the University of Brasília and a Coordinator of the Laboratory of Methodologies for the Treatment and Dissemination of Information (COLAB) at the Brazilian Institute of Information in Science and Technology (IBICT / MCTIC). Areas of interest in research: Computer Theory, Logic, Algebraic Systems, Formal Verification, Proof Assistants, Nominal Logic, Unification, Digital Repositories and Open Access Aggregator Systems.