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.
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!
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