About

Host of the Type Theory Forall Podcast.

I have a MsC at Purdue University under Prof. Benjamin Delaware. My work was in Programming Languages, Proofs and Theorem Provers, more specifically, translating GADTs from OCaml to Coq for coq-of-ocaml, this work was partially funded by Nomadic Labs.

The summer of ‘19 I was been an intern at Galois Inc., among other things I’ve worked with SAW to verify AWS’ bike/sike project.

In 2018 I was an intern at Sifive under Murali Vijayaraghavan. Worked on the formalization of the floating point unit using Coq and Kami.

I got my BS in Computer Science at the University of Brasilia, under Prof. Rodrigo Bonifacio in 2017.

Contact

Pedro da Costa Abreu Júnior
Email: pdacost ‘at’ purdue.edu
Github: https://github.com/pedrotst
Instagram https://www.instagram.com/p_droabreu/
Twitter https://twitter.com/p_droabreu0