Hi! My name is Kesha and I’m a graduate student in Computer Science at the University of Maryland. I’m part of the PLUM group and advised by Mike Hicks. I’m interested in programming language design, program analysis and formal verification, with a special focus on the application area of quantum computing.
I did my undergraduate in Computer Science at the University of Minnesota.
Over the course of my graduate career, my primary project has been designing and implementing SQIR, a small quantum intermediate representation embedded in the Coq proof assistant, and VOQC, a verified optimizer for quantum circuits.
- We presented SQIR and VOQC at POPL 2021. See our full paper at arXiv:1912.02250.
- We presented a follow-up paper on using SQIR to verify quantum programs at ITP 2021. See our full paper at arXiv:2010.01240.
- Our code is available at github.com/inQWIRE/SQIR.
In my free time, I enjoy include painting, pottery, and spending time with my three cats. My husband, Thomas Rolinger, is also a graduate student in Computer Science at UMD.