Silvaniense se torna Mestre em Ciências da Computação pela Universidade de Purdue em Lafayette – Indiana, Estados Unidos
O silvaniense Pedro Abreu Júnior, 30 anos, defendeu na última terça – feira sua tese de mestrado em Ciência da Computação pela Universidade de Purdue em Lafayette – Indiana, Estados Unidos.
O título da tese é “A translation of OCaml GADTs into Coq”, em tradução livre “Uma tradução de GADTs em OCaml para Coq”
Pedro Abreu Júnior mudou-se para os Estados Unidos em 2108 para estudos, concluindo agora o Mestrado em Ciências da Computação.
Ele é silvaniense, filho de Pedro da Costa Abreu, falecido em 2003 e Rosa Delmira Abreu, servidora da carreira da Caixa Econômica Federal.
Pedro estou no Instituto Auxiliadora, depois mudou-se para Morrinhos, Anápolis e Brasília e posteriormente para Lafayette – Indiana, nos Estados Unidos.
Concluído o Mestrado seu plano agora é tirar uma férias de dois meses no Brasil e depois muda-se para a Europa onde vai investir no meu podcast no nicho da minha área pesquisa chamado Type Theory Forall. ( Foto: Arquivo pessoal de Pedro Abreu )
