Name:Kasper Luckow

Country:United States

Affiliation:Amazon Web Services

Research interests:program analysis, formal methods, testing, software engineering