Silvaniense se torna Mestre em Ciências da Computação pela Universidade de Purdue, nos Estados Unidos

O silvaniense Pedro Abreu Júnior, 30 anos, defendeu na última terça-feira, 09 de abril, sua tese de mestrado em Ciência da Computação pela Universidade de Purdue, em Lafayette, estado de Indiana, nos 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 estudou 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 mudar-se para a Europa, onde vai investir no seu podcast no nicho da sua área pesquisa chamada Type Theory Forall.

*Por Célio Silva

Foto: Arquivo pessoal de Pedro Abreu