Hi there! I'm a PhD Student in the Computer Science Department of Carnegie Mellon University. My primary research interests are on compilers and SNARK systems, and some mishmash between the two. I'm passionate about, aside from my cat Floe, using anlyses on program structure and semantics to produce the most efficient and concise SNARK proofs. I'm co-advised by Riad Wahby and Fraser Brown. Before that, I graduated from NYU with a BA in Computer Science and Mathematics, where I started my research career under the guidance of Mike Walfish.
Besides school, I have also worked as an intern for Oracle and Scroll, on topics that may or may not relate to my research. If you want to learn more about me, checkout my CV and feel free to reach out to me!