Computer Science undergraduate at Universidade Federal de Minas Gerais. Interests include Programming Languages, Compiler Construction, Formal Methods, Theoretical Computer Science and Mathematics.

Currently, I’m under the supervision of Professor Haniel Barbosa as an undergraduate researcher in Formal Methods for the satisfiability of real polynomials.