ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Kesha Hietala

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

Contributions

PLanQC 2022 Committee Member in Program Committee within the PLanQC 2022-track
Show activities from other conferences

Using general profile