Washington Luís R. de Carvalho Segundo

You are here

Washington Luís R. de Carvalho Segundo's picture

Dr Washington Luís R. de Carvalho Segundo

Member since: 14 February 2019
Professional title: 
IT Specialist/IT Architect
Primary Domain/Field of Expertise (Other): 
Theory of Computation/Mathematics
Organization name: 
Instituto Brasileiro de Informação em Ciência e Tecnologia (IBICT)
Organization type: 
Government/Public Services

Short Bio

Last comments


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.

Group membership