![Christian Gram Kalhauge](https://hopl4.sigplan.org/getProfileImage/christiangramkalhauge/b1568200-1b51-4cca-9a50-63cc1cd5ba55/small.jpg?1711557671000)
Registered user since Mon 16 Apr 2018
Name:Christian Gram Kalhauge
Country:United States
Affiliation:University of California at Los Angeles; Technical University of Denmark
GitHub: https://github.com/kalhauge
Research interests:Formal Methods, Dynamic Analysis
Contributions
2021
PLDI 2021-profile
View general profile
View general profile