Name:Andrew Kennedy

Country:United Kingdom

Affiliation:Facebook London

Research interests:Programming languages, compilers, type systems, formal verification