Member for 10 years, 1 month
Last seen this week
Brasília, DF, Brasil
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.