Pedro Henrique

Azevedo de Amorim

I am a Research Associate at the department of Computer Science of the University of Oxford where I work with Sam Staton. Prior to that I completed my PhD at the Computer Science Department at Cornell University working with Dexter Kozen.

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 applications of substructural logics to programming languages.

News

**Jan 2024** My preprint on semantics for expected cost of functional programs is out

**Sep 2023** I have moved to Oxford!

**Jul 2023** I have finished my PhD!

**Dec 2022** My paper **A Higher-Order Language for Markov Kernels and Linear Operators** has been selected to appear at FoSSaCS 2023!

**Jul 2022** Our preprint **A Distribution-Theoretic Semantics for Non-Smooth Differentiable Programming** is now on the arXiv.

**Feb 2022** My preprint **A Higher-Order Language for Markov Kernels and Linear Operators** is now on the arXiv.

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

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

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

**Jun 2019** I attended OPLSS.

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

Publications

Preprints and Drafts

Conferences

PLDI 2023, Orlando, USA [Paper]

FoSSaCS 2023, Paris, France [Paper]

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