pedroabreu0.github.io - Pedro Abreu :: About

home > domains > pedroabreu0.github.io

Description: Pedro Abreu academic page and blog

Example domain paragraphs

Main Navigation Research CV Misc Blog About I am currently a PhD student at Purdue University. I work with Programming Languages, Proofs and Theorem Provers. More specifically on Coquedille , a compiler from the intrinsic type theory of Coq to the extrinsic type theory of Cedille.

Host of the Type Theory Forall Podcast

My advisor is Prof. Benjamin Delaware .

Links to pedroabreu0.github.io (1)

• purduepl.github.io PurPL