Pedro Henrique

Azevedo de Amorim

I am a first-year PhD student at the Computer Science Department at Cornell University working with Dexter Kozen. 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.

Publications

Teaching

**Spring 2019** Teaching Assistant for CS4120 : Introduction to Compilers

**Fall 2018** Teaching Assistant for CS4110 : Programming Languages and Logics