
Registered user since Fri 6 Dec 2024
Name:Anthony D'Arienzo
Bio:
I use sheaf theory to study logic and categorical semantics of programming languages. I am an intern at Sandia National Laboratories working on formal methods for programming languages.
Country:United States
Affiliation:University of Illinois and Sandia National Laboratories
Personal website: http://adarienzo.web.illinois.edu
Research interests:Logic, Programming Language Semantics, Geometry
Contributions
POPL 2025-profile
View general profile
View general profile