I'm a second year PhD student at the University of Chicago working on (quantum) programming languages and verification, adivsed by John Reppy. My interests lie in programming languages: compilation and verification, quantum computing, and software engineering.