52
reputation
3

David Vale

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.

5
answers
0
questions
~124
people reached
  • Brasília, DF, Brasil
  • Member for 6 years, 11 months
  • 40 profile views
  • Last seen Jul 7 at 3:40

Top tags (18)

Score 2
Posts 1
Posts % 20
Score 2
Posts 1
Score 2
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (5) All Questions Answers | Votes Newest

Badges (3)

Gold

Silver

Bronze

3

Rarest