Mestrando em Ciência da Computação na Universidade Federal de Ouro Preto. Bacharel em Ciência da Computação pela UFOP (2020) e Técnico em Informática Industrial pelo CEFET-MG (2014). Possui interesse em projeto e implementação de linguagens de programação, métodos formais, lógica e semântica de programas, teoria de tipos e teoria da computação.
Email: maycon.amaro@aluno.ufop.edu.br
Lattes: link