Name:Calvin Beck

Country:Canada

Affiliation:University of Pennsylvania, USA

Research interests:LLVM, Compilers, Memory Models, Types, Formal Verification, Coq