Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with PLDI 2021
Kesha Hietala

Registered user since Wed 2 Nov 2022

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
Research interests:Programming Languages, Formal Verification, Quantum Computing, Security

Contributions

Show activities from other conferences

PLDI 2021-profile
View general profile