I’m on the academic job market, looking for academic jobs starting in 2022! Below, you can find my job-application materials.

Curriculum Vitae

Available in html form here.

Statements

Selected Publications

Pirouette: Higher-Order Typed Functional Choreographies

Giving Semantics to Program-Counter Labels via Secure Effects

First-Order Logic for Flow-Limited Authorization