Maycon José Jorge Amaro

Aluno de mestrado

Habilidades & Experiências

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

Linguagens Formais e Autômatos

Lógica e Semântica de Programas

Teoria da Computação

Teoria de Tipos