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.

News

**December 2019** Our paper **First-Order Logic for Flow-Limited Authorization** was selected to appear at CSF 2020!

**June 2019** I attended OPLSS

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

Publications

CSF 2020, Boston, USA [Tech Report]

Teaching

**Spring 2020** Teaching Assistant for CS3110 : Data Structures and Functional Programming

**Fall 2019** Teaching Assistant for CS4810 : Introduction to Theory of Computation

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

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