I study four-dimensional geometry with Gabriele La Nave. We are working on the L2-theory of characteristic classes of conically stratified 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.