Washington Luís R. de Carvalho Segundo

You are here

Primary tabs

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: 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

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