Pedro Henrique

Azevedo de Amorim

I am a fourth-year PhD candidate 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 probabilistic programming languages and differentiable programming languages.

News

**Feb 2022** My preprint **A Sampling-Aware interpretation of Linear Logic: Syntax and Categorical Semantics** is now on the arXiv.

**April 2021** Our paper **Universal Semantics for the Stochastic Lambda-Calculus** has been selected to appear at LICS 2021!

**November 2020** Our preprint **Universal Semantics for the Stochastic Lambda-Calculus** is now on the arXiv.

**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

Preprints and Drafts

Refereed Publications

LICS 2021 (online) [Preprint]

CSF 2020, Boston, USA [Tech Report]

ICFP 2017, Oxford, UK [Paper]

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