Ariel Agne da Silveira
Aluno de mestrado
Mestrando em Ciência da Computação pela UFOP. Formado em Ciência da Computação pela UDESC (2020). Possui conhecimento em Lógica não-clássica e provadores semi-automáticos de teoremas. Desenvolvedor de Software Júnior pela Magrathea Labs desde 2020.
Email: ariel.agne95@gmail.com
Lattes: link