Registered user since Mon 9 Dec 2019
Name:Kesha Hietala
Bio:
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.
Country:United States
Affiliation:University of Maryland
Personal website:https://khieta.github.io/
GitHub:https://github.com/khieta
Research interests:Programming Languages, Formal Verification, Quantum Computing, Security
Contributions
| PLanQC 2021 | Expanding the VOQC Toolkit Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2021-profile
View general profile
View general profile