Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
Christian Gram Kalhauge

Registered user since Mon 16 Apr 2018

Name: Christian Gram Kalhauge

Country: Denmark

Affiliation: Technical University of Denmark

GitHub: https://github.com/kalhauge

Research interests: Formal Methods, Dynamic Analysis

Contributions

PLDI 2021 Logical Input Reduction
Show activities from other conferences

Using general profile