Name:Christian Gram Kalhauge

Country:United States

Affiliation:University of California at Los Angeles; Technical University of Denmark

Research interests:Formal Methods, Dynamic Analysis