Kesha Hietala

PhD Student
Computer Science
University of Maryland
kesha@cs.umd.edu

Hi, my name is Kesha and I am a graduate student in Programming Languages at the University of Maryland. My advisor is Mike Hicks. I am interested broadly in program analysis and verification. Recently my focus has been on analyzing programs that run on quantum computers and verifying compilers for quantum circuits.

Publications

Drafts

Posters and Presentations

Teaching

Graduate Coursework

Service

Personal