Matthew J. Hattrup

Hello! I went University of Virginia for undergrad. I double majored in Math and Computer Science. Currently getting my MPhil in Computer Science at Cambridge. My interests lie in hardware-aware program design, theory of deep learing, diffusion, and LLMS ;). Of course, I also like math and proof formalization.