David Vale's user avatar
David Vale's user avatar
David Vale's user avatar
David Vale
  • Member for 10 years, 1 month
  • Last seen this week
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.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
3
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %