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.