About

Host of the Type Theory Forall Podcast.

I’ve completed my MSc in Computer Science 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 am a 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