Hi! I'm a Sophomore at Cornell University working towards degrees in Computer Science and Philosophy. My main research goals involve developing practical tools for software verification in the general and domain-specific case through programming language theory.