Pedro Henrique

Azevedo de Amorim

I am a first-year PhD. student at the Computer Science Department at Cornell University. Prior to that I was a research intern at MIT and UPenn where I worked, respectively, with Adam Chlipala and Stephanie Weirich

My research interests lie mainly in formal verification, programming language theory, and their intersection. In particular I'm interested in applications of **Category Theory**, **Type Theory**, ** Proof Assistants ** and **Logic** to programming languages.

Recently I've been interested in the semantics of higher-order probabilistic programming languages.

News

**August 2018** I started my PhD at Cornell!

Publications