"Science is much more 'sloppy' and 'irrational' than its methodological image."
— Paul Feyerabend
I am a PhD student at PL λab at UC Santa Barbara supervised by Ben Hardekopf. My current research is focused on converting C programs to Rust programs with safety guarantees by reasoning about memory use patterns in the programs. I started putting some stuff here.
- Academic website