About me

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.

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.