Hi!

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.

Education

Languages

Currently working on

Publications

Talks

Other Research Experience

Work experience

Teaching

Misc. Projects

Service and leadership