David Vale
  • GitHub
  • Brasília, DF, Brasil
  • Member for 9 years, 1 month
Stats
62
reputation
125
reached
5
answers
0
questions
About

I'm a graduate student at the University of Brasilia. My interest in involves mathematics, more specifically Theory of Computation in the field of Automated Reasoning, Applied Logic, Unification Theory, and Nominal Syntaxes/Sets.

I also have an interest in abstract algebra - Theory of Finite Groups.

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges

Top tags (18)

Score 3
Posts 1
Posts % 20
Score 3
Posts 1
Score 3
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (5)