Anthony D’Arienzo
Ph.D. Student, Mathematics
@ University of Illinois at Urbana-Champaign
I study four-dimensional geometry with Gabriele La Nave. We are working on the L2-theory of characteristic classes of conically stratitfied 4-manifolds.
I also use sheaf theory to study logic and categorical semantics of programming languages. I am an intern at Sandia National Laboratories working on formal methods.