Research Interests
Mathematical foundations of programming languages, type theory, category theory, game theory, mobile and wireless computations