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

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
City: 
Brasília
Country: 
Brazil

Short Bio

Last comments

Blogs

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