Name:Amr Sabry

Country:Egypt

Affiliation:Indiana University

Research interests:Programming Languages: continuations, computational effects, semantics, logic foundations, type theory, homotopy type theory, quantum computing