Name:Alex Kavvos

Country:United States

Affiliation:Wesleyan University

Research interests:type theory, homotopy theory, category theory, programming language theory, models of computer security